Different Proofs

This project contains formalizations of different proofs of the same mathematical result(s).

Blueprint.

Theorems and proofs

Fermat's little theorem

• Using Binomial theorem
• Using Alkauskas' product expansion
• Using Lagrange's theorem
• Using a dynamical system

Infinitude of primes

• Euclid's proof
• Goldbach's proof
• Euler's proof
• Saidak's proof
• Wunderlich's proof