| Title | Version | Year |
|---|---|---|
| Functional Programming in Lean | Lean 4 | 2023 |
| Theorem Proving in Lean 4 | Lean 4 | 2023 |
| How to Prove it with Lean | Lean 4 | 2023 |
| The mechanics of proof | 2023 | |
| Logic and Mechanized Reasoning | Lean 4 | 2021 |
| Mathematics in Lean | Lean 4 | 2020 |
| Lean 4 Metaprogramming Book | Lean 4 | 2023 |
| Logic and Proof | Lean 3 | 2017 |