lean4中文教程, Bar lean4, Purasbar

There are currently 2 posts.

	Floor 1 悄悄打开魔盒 5/17/24 11:51 https://lixiang90.github.io/mathematics_in_lean_CN/index.html 翻译进行中英文原版见： https://leanprover-community.github.io/mathematics_in_lean/index.html
	Floor 2 啊啊是谁都对 6/9/24 10:04 感谢！