新規作成
Coq
4
Contributors
0
Followers
ホーム
記事
本
人気の記事
大学数学基礎
解説
itleigns
2020年12月30日
Coq/SSReflect/MathCompで解析入門の1章の命題を全て証明
解析学
,
形式的証明
,
Coq
17
0
1914
1
大学数学基礎
解説
めいぜんおーえす
2021年12月1日
5つの圏の定義とCoqによる実装
圏論
,
Coq
7
0
709
0
文献あり
大学数学基礎
問題
めいぜんおーえす
2020年12月2日
たのしいめいだいろんり!
形式的証明
,
命題論理
,
Coq
2
0
248
0
4
4
エンタメ
解説
AAG
24日前
ZFCで遊ぼう!(2)
形式的証明
,
Coq
,
ZFC
1
0
72
0
初心者
文献あり
5
5
大学数学基礎
解説
itleigns
2022年5月6日
CoqでRとCの証明をまとめる方法
解析学
,
形式的証明
,
Coq
1
0
155
0
新着の記事
エンタメ
解説
AAG
24日前
ZFCで遊ぼう!(2)
形式的証明
,
Coq
,
ZFC
1
0
72
0
初心者
文献あり
自己紹介・記録
議論
AAG
2月5日
Coq初心者の忘備録
計算機科学
,
形式的証明
,
Coq
0
0
45
0
初心者
文献あり
大学数学基礎
解説
itleigns
2022年5月6日
CoqでRとCの証明をまとめる方法
解析学
,
形式的証明
,
Coq
1
0
155
0
大学数学基礎
解説
めいぜんおーえす
2021年12月1日
5つの圏の定義とCoqによる実装
圏論
,
Coq
7
0
709
0
文献あり
大学数学基礎
解説
サバタロウ
2021年2月6日
Coq メモ
証明
,
Coq
,
#駆け出し何とかと繋がりたい
0
0
123
0
文献あり