lean4中文教程, Bar lean4, Purasbar

The author has 1 post.

lean4中文教程

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

Reply the post