itleigns
総高評価数
15
総閲覧数
1526
12
followers
0
follow
0
tags
12
followers
0
follow
0
tags
Home
Contents
Goods
記事
本
全てのカテゴリ
作成日順
高評価数順
解説
...
itleigns
2022年5月6日
CoqでRとCの証明をまとめる方法
解析学
,
形式的証明
,
Coq
62
1
解説
...
itleigns
2020年12月30日
Coq/SSReflect/MathCompで解析入門の1章の命題を全て証明
解析学
,
形式的証明
,
Coq
1466
16
読み込み中...
読み込み中