设置 | 登录 | 注册

目前共有5篇帖子。

听上去lean4可以用来做数学证明题

1楼 啊啊是谁都对 2024-5-2 11:53
如题
2楼 啊啊是谁都对 2024-5-2 11:55
可能是错觉,不知道理解对不对

@悄悄打开魔盒
3楼 圆环之理 2024-5-2 14:54
同好奇
4楼 悄悄打开魔盒 2024-5-2 15:38
确实,不过一般是用于验证证明的正确性
啊啊是谁都对原来如此

那看来可以用于做小学、初中、高中的数学题?

内容转换:

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