Different Proofs

 Different Proofs🔗

Compiled2026-08-26T21:27:16ZProjectb9424caFix all linter warnings (#54)Leanleanprover/lean4:v4.32.0VersoBlueprintv4.32.0@97150e3b22f8Mathlibv4.32.0@81a5d257c8e4

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