The Mechanics of Proof
This book focuses on writing precise mathematical proofs and is accompanied by code in the Lean formalization language. Aimed at the early university level, specifically for Math 2001 at Fordham University, the book covers topics such as proofs by calculation, proofs with structure, parity and divisibility, logic, induction, number theory, functions, sets, and relations. The […]
Read more »