_zw

0 Contribution

/ Following users

D言語とか出来ます

Haskellプログラマです。

あ あ あ

Coqなどによるプログラムの正しさの検証・証明に興味があります。

<marquee>