「#Coq」の記事一覧 | Mathlog

Coq

エンタメ解説

2024年3月30日

ZFCで遊ぼう！（２）

形式的証明,Coq,ZFC

2

0

126

0

初心者マーク

初心者

文献あり

大学数学基礎解説

2022年5月6日

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

解析学,形式的証明,Coq

1

0

226

0

大学数学基礎解説

めいぜんおーえす

2021年12月1日

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

8

0

904

0

文献あり

大学数学基礎解説

2020年12月30日

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

解析学,形式的証明,Coq

17

0

2310

1

読み込み中