設置
|
登錄
|
註冊
進入侃吧
搜索帖子
首頁
>
lean4吧
>
瀏覽帖子
回覆帖子
|
只看樓主
目前共有
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許可協議
進行許可。
那看来可以用于做小学、初中、高中的数学题?