Lean基础

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

• Lean简介与历史
• Lean安装与环境配置
• Lean编辑器设置
• Lean 第一个程序
• Lean语法基础
• Lean注释
• Lean命令行界面
• Lean交互式开发
• Lean项目结构
• Lean导入与模块
• Lean错误信息理解
• Lean基本操作符
• Lean命名规则
• Lean常用快捷键

Have fun coding!