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

形式的証明

使用者数

2

フォロワー数

1

解説...

2022年5月6日

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

解析学,形式的証明,Coq

62

1

解説...

2020年12月30日

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

解析学,形式的証明,Coq

1461

16

問題...

めいぜんおーえす

2020年12月2日

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

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

215

2

議論...

めいぜんおーえす

2020年11月24日

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

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

267

8

読み込み中