Coqを用いた『解析入門』の証明
Coq
で
『解析入門』
の第1章を証明したもの
CoqLibrary/KaisekiNyuumonn1.v at master · itleigns/CoqLibrary
20000行以上ある
すごすぎ
takker.icon
解説記事
Coq/SSReflect/MathCompで解析入門の1章の命題を全て証明 | Mathlog
#2021-11-08
19:08:30