A beginner-friendly, open-source introduction to mathematical proofs, with guided examples from competition mathematics. Designed for students transitioning into formal proofs without requiring real analysis.

🧮️📟️🔢️ My mathematical project homepage.

University-level math problems with detailed, fully-worked solutions and proof breakdowns. Each one cites the theorems it uses, typeset in Typst and rendered to PDF

Time pass codes which I use to write while learning math, makes learning more interesting and fun