目前共有5篇帖子。 字體大小:較小 - 100% (默認)▼  內容轉換:港澳繁體▼
 
點擊 回復
514 4
聽上去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
確實,不過一般是用於驗證證明的正確性
 
啊啊是谁都对:原來如此

那看來可以用於做小學、初中、高中的數學題?

  2024-5-2 16:14 回復

回復帖子

內容:
用戶名: 您目前是匿名發表
驗證碼:
(快捷鍵:Ctrl+Enter)
 

本帖信息

點擊數:514 回複數:4
評論數: ?
作者:啊啊是谁都对
最後回復:啊啊是谁都对
最後回復時間:2024-5-2 16:14
 
©2010-2025 Purasbar Ver2.0
除非另有聲明,本站採用創用CC姓名標示-相同方式分享 3.0 Unported許可協議進行許可。