MIZUNO Hiroki

@mzp

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