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

内容转换：