新規作成
furea2
2
901
昔数学を少しだけやってました
3
Followers
1
Follow
ホーム
記事
6
本
0
高評価
人気の記事
大学数学基礎
解説
2021年5月26日
lean4上の代数
1
0
339
0
大学数学基礎
解説
2021年4月10日
【LEAN4】inductive type
LEAN4
1
0
427
0
大学数学基礎
解説
2021年4月9日
てすと
0
0
3
0
4
4
大学数学基礎
解説
2021年4月10日
雑記
0
0
37
0
文献あり
5
5
大学数学基礎
解説
2021年4月10日
【LEAN4】structure
LEAN4
0
0
32
0
文献あり
新着の記事
大学数学基礎
解説
2021年5月26日
lean4上の代数
1
0
339
0
大学数学基礎
解説
2021年5月7日
【LEAN4】Isom
0
0
63
0
大学数学基礎
解説
2021年4月10日
【LEAN4】structure
LEAN4
0
0
32
0
文献あり
大学数学基礎
解説
2021年4月10日
【LEAN4】inductive type
LEAN4
1
0
427
0
大学数学基礎
解説
2021年4月10日
雑記
0
0
37
0
文献あり