The Mechanics of Proof
  • Preface
  • 1. Proofs by calculation
  • 2. Proofs with structure
  • 3. Parity and divisibility
  • 4. Proofs with structure, II
  • 5. Logic
  • 6. Induction
  • 7. Number theory
  • 8. Functions
  • 9. Sets
  • 10. Relations
  • Index of Lean tactics
  • Transitioning to mainstream Lean
The Mechanics of Proof
  • »
  • Search

© Copyright 2022-2024, Heather Macbeth. All rights reserved.

Built with Sphinx using a theme provided by Read the Docs.