Lean数据结构

欢迎来到 Lean 的 Lean数据结构 部分，在这一章节中，你将学到以下内容：

• Lean列表
• Lean列表操作与证明
• Lean 向量
• Lean数组
• Lean树结构
• Lean图结构
• Lean映射与字典
• Lean集合
• Lean多重集
• Lean队列与栈
• Lean优先队列
• Lean不可变数据结构
• Lean持久化数据结构
• Lean数据结构效率证明

Have fun coding!