系统设计与验证 (Lean)Lean 元编程Lean元编程 欢迎来到 Lean 的 Lean元编程 部分，在这一章节中，你将学到以下内容： Lean元编程简介 Lean语法引用 Lean宏定义 Lean战术编写 Lean自定义决策过程 Lean语法扩展 Lean项目自动化 Lean代码生成 Lean DSL 开发 Lean反射API Lean元数据访问 Lean编译期计算 Lean评估器 Lean转换器 Have fun coding!