目前共有2篇帖子。
定下计划
 |
明天继续学习lean4数学形式化，教程学会以后，对看过的一些数学书做形式化
|
 |
加油哦
 
|
目前共有2篇帖子。
|
明天继续学习lean4数学形式化，教程学会以后，对看过的一些数学书做形式化
|
|
加油哦
|
