定理証明支援系
使用者数
1
フォロワー数
1
Home
Articles
Books
全てのカテゴリ
作成日順
高評価数順
議論
...
めいぜんおーえす
2020年11月24日
ぼくがコンピューターで数学をするようになった理由
数学
,
形式的証明
,
定理証明支援系
249
8
読み込み中...
読み込み中