形式的証明
使用者数
2
フォロワー数
1
Home
Articles
Books
全てのカテゴリ
作成日順
高評価数順
解説
...
itleigns
2022年5月6日
CoqでRとCの証明をまとめる方法
解析学
,
形式的証明
,
Coq
62
1
解説
...
itleigns
2020年12月30日
Coq/SSReflect/MathCompで解析入門の1章の命題を全て証明
解析学
,
形式的証明
,
Coq
1461
16
問題
...
めいぜんおーえす
2020年12月2日
たのしいめいだいろんり!
形式的証明
,
命題論理
,
Coq
215
2
議論
...
めいぜんおーえす
2020年11月24日
ぼくがコンピューターで数学をするようになった理由
数学
,
形式的証明
,
定理証明支援系
267
8
読み込み中...
読み込み中