Repository for Math Proofs examples and exercises