みずの ひろき

@mzp

Coqなどによるプログラムの正しさの検証・証明に興味があります。
Nagoya, Japan.
Organizations
フォロー中のタグ1
フォロー中のユーザー84
人気の投稿
13
Items422
Contribution469
Followers

ご意見

いただいたご意見への返信は行っておりません。
返信の必要な内容については、こちら からお問い合わせください。