Coqなどによるプログラムの正しさの検証・証明に興味があります。
Site/Bloghttp://mzp.hatenablog.com/
Location
Nagoya, Japan.
Following Organizations
No Organizations you are following
Contributions
article is Liked
article is Liked
article is Liked
article is Liked
article is Liked
article is Liked
article is Liked
article is Liked
article is Liked
article is Liked