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