Lean4特性

欢迎来到 Lean 的 Lean4特性 部分，在这一章节中，你将学到以下内容：

• Lean4架构概述
• Lean4与Lean3比较
• Lean4新语法
• Lean4改进类型系统
• Lean4 结构化项目
• Lean4宏系统
• Lean4 属性系统
• Lean4模式匹配
• Lean4与C交互
• Lean4 性能优化
• Lean4并行处理
• Lean4新标准库
• Lean4新战术
• Lean4 生态系统

Have fun coding!