新規作成
cmplstofB
3
192
ぞうの卵はおいしいぞう。
1
Followers
1
Follow
ホーム
記事
1
本
0
高評価
全てのカテゴリ
作成日順
評価順
大学数学基礎
解説
itleigns
2020年12月30日
Coq/SSReflect/MathCompで解析入門の1章の命題を全て証明
解析学
,
形式的証明
,
Coq
17
0
2341
1
大学数学基礎
解説
サクラ
2020年11月7日
環の定義に加法の可換性が不要であること【テスト記事】
代数学
,
環論
,
雑学
53
0
2103
0
読み込み中...
読み込み中