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

定理証明支援系

大学数学基礎議論

めいぜんおーえす

2020年11月24日

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

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

10

0

567

0

読み込み中