Settings | Sign in | Sign up

There are currently 2 posts.

定下计划

Floor 1 悄悄打开魔盒 2/11/25 22:43
明天继续学习lean4数学形式化,教程学会以后,对看过的一些数学书做形式化
Floor 2 圆环之理 2/14/25 11:57
加油哦

Content converter:

Reply the post
Content:
User: You are currently anonymous.
Captcha:
Unclear? Try another one.