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