目前共有5篇帖子。 字体大小:较小 - 100% (默认)▼  内容转换:港澳繁體▼
 
点击 回复
529 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)
 

本帖信息

点击数:529 回复数:4
评论数: ?
作者:啊啊是谁都对
最后回复:啊啊是谁都对
最后回复时间:2024-5-2 16:14
 
©2010-2025 Purasbar Ver2.0
除非另有声明,本站采用知识共享署名-相同方式共享 3.0 Unported许可协议进行许可。