「#競技数学典型」の記事一覧 | Mathlog

競技数学典型

エンタメ解説

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

読み込み中