lean4中文教程_lean4吧_Purasbar

作者共發了1篇帖子。

字體大小：較小 - 100% （默認）▼ 內容轉換：不轉換▼

點擊	回復
1105	1

lean4中文教程

悄悄打开魔盒

大魔導士十七級

1樓發表於：2024-5-17 11:51

https://lixiang90.github.io/mathematics_in_lean_CN/index.html

翻译进行中
英文原版见：

https://leanprover-community.github.io/mathematics_in_lean/index.html

回覆帖子

本帖信息

點擊數：1105

回複數：1

作者：悄悄打开魔盒

最後回覆：啊啊是谁都对

最後回復時間：2024-6-9 10:04

公告板

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