设置 | 登录 | 注册
Purasbar

作者共发了1篇帖子。

定下計劃

1楼 悄悄打开魔盒 2025-2-11 22:43
明天繼續學習lean4數學形式化，教程學會以後，對看過的一些數學書做形式化

内容转换：

回复帖子
内容：
用户名： 您目前是匿名发表。
验证码：
看不清？换一张
©2010-2025 Purasbar Ver3.0 [手机版] [桌面版]
除非另有声明，本站采用知识共享署名-相同方式共享 3.0 Unported许可协议进行许可。