目前共有2篇帖子。
字体大小：较小 - 100% （默认）▼  内容转换：不转换▼
 
点击 回复
968 1
定下计划
悄悄打开魔盒
大魔导士 十七级
回复
1楼 发表于：2025-2-11 22:43
明天继续学习lean4数学形式化，教程学会以后，对看过的一些数学书做形式化
圆环之理
上位魔导师 二十一级
回复
2楼 发表于：2025-2-14 11:57
加油哦
回复帖子
内容：
用户名： 您目前是匿名发表。
验证码：
看不清？换一张
（快捷键：Ctrl+Enter）
本帖信息
点击数：968 回复数：1
作者：悄悄打开魔盒
最后回复：圆环之理
最后回复时间：2025-2-14 11:57
公告板
 【新功能】现在手机版发帖也可以上传图片了
【公告】布拉斯侃吧（Purasbar）全站已启用HTTP/2访问以及TLS1.3加密
【新功能】楼中楼功能已上线
【公告】Purasbar http访问方式已关闭，从现在起只能通过https方式访问
【新功能】现在可以直接在发帖框中粘贴图片啦！
【新功能】搜索框提示功能上線了
【公告】第十五次補丁包安裝完畢
【公告】從現在開始，管理員將停止審批會員
【公告】阿斯兰侃吧现在开始支持简繁混合搜索
【公告】阿斯蘭侃吧啟用https訪問
【公告】从今天开始，本站实行主题编号制
【新功能】图片缩放功能上线了