みずの ひろき

@mzp

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