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