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 感謝！