新規作成
itleigns
18
2347
12
Followers
0
Follow
ホーム
記事
2
本
0
高評価
新着の記事
大学数学基礎
解説
2022年5月6日
CoqでRとCの証明をまとめる方法
解析学
,
形式的証明
,
Coq
1
0
193
0
大学数学基礎
解説
2020年12月30日
Coq/SSReflect/MathCompで解析入門の1章の命題を全て証明
解析学
,
形式的証明
,
Coq
17
0
2154
1