Lean实践项目

欢迎来到 Lean 的 Lean实践项目 部分，在这一章节中，你将学到以下内容：

• Lean数学定理形式化
• Lean算法正确性证明
• Lean密码学协议验证
• Lean编译器验证
• Lean分布式系统验证
• Lean嵌入式系统验证
• Lean机器学习算法验证
• Lean金融模型验证
• Lean医疗系统验证
• Lean区块链智能合约验证
• Lean形式化软件需求
• Lean游戏逻辑验证
• Lean硬件设计验证
• Lean安全关键系统验证

Have fun coding!