Help us understand the problem. What are the problem?
MIZUNO Hiroki
@mzp
Coqなどによるプログラムの正しさの検証・証明に興味があります。

No Organizations you are following

Followees
  • 1 / 2