新規作成
形式的証明
3
Contributors
1
Followers
ホーム
記事
本
全てのカテゴリ
作成日順
評価順
大学数学基礎
解説
AAG
17日前
ZFCで遊ぼう!(2)
形式的証明
,
Coq
,
ZFC
1
0
60
0
初心者
文献あり
大学数学基礎
解説
itleigns
2022年5月6日
CoqでRとCの証明をまとめる方法
解析学
,
形式的証明
,
Coq
1
0
155
0
大学数学基礎
解説
itleigns
2020年12月30日
Coq/SSReflect/MathCompで解析入門の1章の命題を全て証明
解析学
,
形式的証明
,
Coq
17
0
1895
1
大学数学基礎
問題
めいぜんおーえす
2020年12月2日
たのしいめいだいろんり!
形式的証明
,
命題論理
,
Coq
2
0
248
0
大学数学基礎
議論
めいぜんおーえす
2020年11月24日
ぼくがコンピューターで数学をするようになった理由
数学
,
形式的証明
,
定理証明支援系
10
0
449
0
読み込み中...
読み込み中