ひろき みずの

@mzp

Coqなどによるプログラムの正しさの検証・証明に興味があります。
Nagoya, Japan.
Organizations
Following Tags1
Following Users84