#Coq | Mathlog

Coq

人気の記事

大学数学基礎解説

2020年12月30日

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

解析学,形式的証明,Coq

17

0

2350

1

大学数学基礎解説

めいぜんおーえす

2021年12月1日

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

8

0

904

0

文献あり

エンタメ解説

2024年3月30日

ZFCで遊ぼう！（２）

形式的証明,Coq,ZFC

3

0

126

0

初心者マーク

初心者

文献あり

4

4

大学数学基礎解説

2022年5月6日

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

解析学,形式的証明,Coq

1

0

238

0

5

5

現代数学解説

Mathematical Context

2024年9月10日

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

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

0

0

27

0

新着の記事

エンタメ解説

2024年3月30日

ZFCで遊ぼう！（２）

形式的証明,Coq,ZFC

3

0

126

0

初心者マーク

初心者

文献あり

大学数学基礎解説

2022年5月6日

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

解析学,形式的証明,Coq

1

0

238

0

大学数学基礎解説

めいぜんおーえす

2021年12月1日

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

8

0

904

0

文献あり

大学数学基礎解説

2020年12月30日

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

解析学,形式的証明,Coq

17

0

2350

1