「#定理証明支援系」の記事一覧 | Mathlog

定理証明支援系

使用者数

1

フォロワー数

1

議論...

めいぜんおーえす

2020年11月24日

ぼくがコンピューターで数学をするようになった理由

数学,形式的証明,定理証明支援系

249

8

読み込み中