🗃️ Lean 基础14 个项目🗃️ Lean 类型系统14 个项目🗃️ Lean 函数式编程14 个项目🗃️ Lean 证明基础14 个项目🗃️ Lean 命题逻辑14 个项目🗃️ Lean 代数结构14 个项目🗃️ Lean 归纳与递归14 个项目🗃️ Lean 程序验证14 个项目