前言

鸣谢：

Mario Carneiro

Leonardo de Moura

Sebastian Ullrich

Gabriel Ebner

Jonathan Protzenko

Lean Zulip 社区。

每一位 Lean4、Mathlib 和 Lean 生态贡献者。

---

致 Philip Elliot Bailey (1987.1.31 - 2023.12.9).