shimomura1004@github

0 Contribution

/ Following users

niconicoの基盤システムであるDMCをCoqで証明しています。

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