首頁
>
lean4吧
>
瀏覽帖子
台灣正體
大陆简体
港澳繁體
马新简体
|
登錄
|
註冊
進入侃吧
進入個人空間
全部
僅作者
目前共有
5
篇帖子。
字體大小：
較小 - 100% （默認）▼
內容轉換：
不轉換▼
點擊
回復
362
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）
本帖信息
點擊數：
362
回複數：
4
評論數：
?
作者：
啊啊是谁都对
最後回復：
啊啊是谁都对
最後回復時間：2024-5-2 16:14
公告板
【新功能】现在手机版发帖也可以上传图片了
【公告】布拉斯侃吧（Purasbar）全站已启用HTTP/2访问以及TLS1.3加密
【新功能】楼中楼功能已上线
【公告】Purasbar http访问方式已关闭，从现在起只能通过https方式访问
【新功能】现在可以直接在发帖框中粘贴图片啦！
【新功能】搜索框提示功能上線了
【公告】第十五次補丁包安裝完畢
【公告】從現在開始，管理員將停止審批會員
【公告】阿斯兰侃吧现在开始支持简繁混合搜索
【公告】阿斯蘭侃吧啟用https訪問
【公告】从今天开始，本站实行主题编号制
【新功能】图片缩放功能上线了
©2010-2025 Purasbar Ver2.0
▲
除非另有聲明，
本站
採用
創用CC姓名標示-相同方式分享 3.0 Unported許可協議
進行許可。
