Different Proofs

 Different Proofs🔗

Compiled2026-10-27T14:08:10ZProject86c1f05README: rename "Mersenne's proof" to "Using Mersenne numbers" (#78)Leanleanprover/lean4:v4.35.0VersoBlueprintv4.35.0@5a5bfc7e17ddMathlibv4.35.0@56a005855ea1

Each theorem deserves many proofs.

Contents

  1. 1. Fermat's Little Theorem
  2. 2. Infinitude of Primes
  3. 3. Irrationality of √2
  4. 4. Sum of Two Squares
  5. 5. Basel problem
  6. 6. Combinatorial Identities
  7. 7. Tiling a Rectangle
  8. Dependency Graph
  9. Blueprint Summary