lean

数学工具 Lean 学习路线图Lean 是运行在你电脑上的软件，需要先配置好环境。安装命令速查：Windows（网络不佳时使用上交镜像）：

我是有底线的