Lean 4中的定理证明

作者：Jeremy Avigad，Leonardo de Moura，Soonho Kong和Sebastian Ullrich，社区成员们贡献了这个版本的文本

本文的版本假定你正在使用Lean 4。请参考Lean 4手册的安装指南来安装Lean。这本书的第一个版本是为Lean 2写的，Lean 3的版本在这里可用。