lean4中文教程_lean4吧

設置 | 登錄 | 註冊

目前共有2篇帖子。

	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
	2樓啊啊是谁都对 2024-6-9 10:04 感谢！

內容轉換：