大陆简体 | 登录 | 注册
目前共有5篇帖子。 内容转换：不转换▼
 
点击 回复
95 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）
 

本帖信息

点击数：95 回复数：4
评论数： ?
作者：啊啊是谁都对
最后回复：啊啊是谁都对
最后回复时间：2024-5-2 16:14

公告板

 【新功能】现在手机版发帖也可以上传图片了
【公告】布拉斯侃吧（Purasbar）全站已启用HTTP/2访问以及TLS1.3加密
【新功能】楼中楼功能已上线
【公告】Purasbar http访问方式已关闭，从现在起只能通过https方式访问
【新功能】现在可以直接在发帖框中粘贴图片啦！
【新功能】搜索框提示功能上線了
【公告】第十五次補丁包安裝完畢
【公告】從現在開始，管理員將停止審批會員
【公告】阿斯兰侃吧现在开始支持简繁混合搜索
【公告】阿斯蘭侃吧啟用https訪問
【公告】从今天开始，本站实行主题编号制
【新功能】图片缩放功能上线了
 
©2010-2024 Purasbar Ver2.0 ▲
除非另有声明，本站采用知识共享署名-相同方式共享 3.0 Unported许可协议进行许可。