killord86

0 Contribution

/ Following users

フリーランスのエンジニアです。がんばってます。

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