「#形式的証明」の記事一覧 | Mathlog

形式的証明

エンタメ解説

3月30日

ZFCで遊ぼう！（２）

形式的証明,Coq,ZFC

2

0

111

0

初心者マーク

初心者

文献あり

大学数学基礎解説

2022年5月6日

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

解析学,形式的証明,Coq

1

0

193

0

大学数学基礎解説

2020年12月30日

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

解析学,形式的証明,Coq

17

0

2173

1

大学数学基礎問題

めいぜんおーえす

2020年12月2日

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

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

2

1

271

0

大学数学基礎議論

めいぜんおーえす

2020年11月24日

ぼくがコンピューターで数学をするようになった理由

数学,形式的証明,定理証明支援系

10

0

567

0

読み込み中