Mathlog
Coq
使用者数
3
フォロワー数
0
Home
Articles
Books

人気の記事

itleigns
itleigns
解説...
itleigns
2020年12月30日
Coq/SSReflect/MathCompで解析入門の1章の命題を全て証明
解析学,形式的証明,Coq
1634
16
めいぜんおーえす
めいぜんおーえす
解説...
めいぜんおーえす
2021年12月1日
5つの圏の定義とCoqによる実装
圏論,Coq
526
7
文献あり
めいぜんおーえす
めいぜんおーえす
問題...
めいぜんおーえす
2020年12月2日
たのしいめいだいろんり!
形式的証明,命題論理,Coq
224
2
4
itleigns
itleigns
解説...
itleigns
2022年5月6日
CoqでRとCの証明をまとめる方法
解析学,形式的証明,Coq
104
1
5
サバタロウ
サバタロウ
解説...
サバタロウ
2021年2月6日
Coq メモ
証明,Coq,#駆け出し何とかと繋がりたい
108
0
文献あり

新着の記事

itleigns
itleigns
解説...
itleigns
2022年5月6日
CoqでRとCの証明をまとめる方法
解析学,形式的証明,Coq
104
1
めいぜんおーえす
めいぜんおーえす
解説...
めいぜんおーえす
2021年12月1日
5つの圏の定義とCoqによる実装
圏論,Coq
526
7
文献あり
サバタロウ
サバタロウ
解説...
サバタロウ
2021年2月6日
Coq メモ
証明,Coq,#駆け出し何とかと繋がりたい
108
0
文献あり
めいぜんおーえす
めいぜんおーえす
解説...
めいぜんおーえす
2021年1月3日
naive comprehension axiom が矛盾することをCoqで実装してみた
集合論,Coq
76
0
文献あり
itleigns
itleigns
解説...
itleigns
2020年12月30日
Coq/SSReflect/MathCompで解析入門の1章の命題を全て証明
解析学,形式的証明,Coq
1634
16

新着の本

このタグに関連する本は投稿されていません。