设置 | 登录 | 注册
Purasbar

作者共发了3篇帖子。

聽上去lean4可以用來做數學證明題

1楼 啊啊是谁都对 2024-5-2 11:53
如題
2楼 啊啊是谁都对 2024-5-2 11:55
可能是錯覺，不知道理解對不對

@悄悄打開魔盒

内容转换：

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