itleignsの記事一覧 | Mathlog

総高評価数

15

総閲覧数

1526

解説...

2022年5月6日

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

解析学,形式的証明,Coq

62

1

解説...

2020年12月30日

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

解析学,形式的証明,Coq

1466

16

読み込み中