# The Mechanics of Proof

This is a book dealing with how to write careful, rigorous mathematical proofs. The book is paired with code in the computer formalization language Lean. Head over to the associated GitHub repository, https://github.com/hrmacbeth/math2001, to download this code to your own computer or to open it in the cloud on Gitpod.

This book is aimed at the early university level and has been written for the course Math 2001, at Fordham University. Please reach out to the author, Heather Macbeth, with comments and corrections.

**Appendices**