killord86

0 Contribution

/ Following users

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