There are currently 2 posts.
定下计划
 |
明天继续学习lean4数学形式化，教程学会以后，对看过的一些数学书做形式化
|
 |
加油哦
 
|
There are currently 2 posts.
|
明天继续学习lean4数学形式化，教程学会以后，对看过的一些数学书做形式化
|
|
加油哦
|
