🗃️ Lean 基础
14 个项目
🗃️ Lean 类型系统
14 个项目
🗃️ Lean 函数式编程
14 个项目
🗃️ Lean 证明基础
14 个项目
🗃️ Lean 命题逻辑
14 个项目
🗃️ Lean 代数结构
14 个项目
🗃️ Lean 归纳与递归
14 个项目
🗃️ Lean 程序验证
14 个项目
🗃️ Lean 数据结构
14 个项目
🗃️ Lean 数学基础
14 个项目
🗃️ Lean 高级证明技术
14 个项目
🗃️ Lean 与数学库
14 个项目
🗃️ Lean 与软件开发
14 个项目
🗃️ Lean 元编程
14 个项目
🗃️ Lean 4特性
14 个项目
🗃️ Lean 实践项目
14 个项目
🗃️ Lean 社区与资源
14 个项目