Books
- Mathematical Logic and Computation
Cambridge University Press, 2022.
Publisher's page: html, preface: pdf, table of contents: pdf,
errata: pdf.
Online textbooks:
- Mathematics in Lean
with Patrick Massot (in progress).
Online: html, text: pdf.
- Logic and Mechanized Reasoning
with Marijn Heule and Wojciech Nawrocki (in progress).
Online: html, text: pdf.
- Theorem Proving in Lean 4
with Leonardo de Moura, Soonho Kong, and Sebastian Ullrich.
Online: html.
- Logic and Proof
with Joseph Hua, Robert Lewis, and Floris van Doorn.
Online: html, text: pdf.
Edited:
- Proceedings of Interactive Theorem Proving (ITP) 2018
with Assia Mahboubi. SpringerLink.
- Proceedings of Certified Programs and Proofs (CPP) 2016
with Adam Chlipala. doi.