#Coq | Mathlog

Coq

人気の記事

大学数学基礎解説

2020年12月30日

Coq/SSReflect/MathCompで解析入門の1章の命題を全て証明

解析学,形式的証明,Coq

17

0

2195

1

大学数学基礎解説

めいぜんおーえす

2021年12月1日

5つの圏の定義とCoqによる実装

8

0

835

0

文献あり

エンタメ解説

3月30日

ZFCで遊ぼう！（２）

形式的証明,Coq,ZFC

2

0

111

0

初心者マーク

初心者

文献あり

4

4

大学数学基礎解説

2022年5月6日

CoqでRとCの証明をまとめる方法

解析学,形式的証明,Coq

1

0

193

0

5

5

大学数学基礎問題

めいぜんおーえす

2020年12月2日

たのしいめいだいろんり！

形式的証明,命題論理,Coq

2

1

271

0

新着の記事

現代数学解説

Mathematical Context

9月10日

CoqでZFC公理系において2つのペアが等しいときその対応する要素もそれぞれ等しいことを証明する。(1)

公理的集合論,Coq,ZFC公理系

0

0

27

0

エンタメ解説

3月30日

ZFCで遊ぼう！（２）

形式的証明,Coq,ZFC

2

0

111

0

初心者マーク

初心者

文献あり

自己紹介・記録議論

2月5日

Coq初心者の忘備録

計算機科学,形式的証明,Coq

0

0

56

0

初心者マーク

初心者

文献あり

大学数学基礎解説

2022年5月6日

CoqでRとCの証明をまとめる方法

解析学,形式的証明,Coq

1

0

193

0

大学数学基礎解説

めいぜんおーえす

2021年12月1日

5つの圏の定義とCoqによる実装

8

0

835

0

文献あり