Lean 策略编程指南

 Lean 策略编程指南（中文）🔗

Lean 中文社区

本书把上游的三个 Lean 教程整理为可编译、可分页发布的中文 Verso 图书。正文中的 可运行代码由 Verso 精译；少数受内嵌环境限制的片段标为源码节选，并由支持模块单独编译。

Contents

  1. 1. 从证明状态开始
  2. 2. Lean 策略编程入门
  3. 3. 从零编写 rw
  4. 4. 从零编写 simp