Learn through Competition
Climb the global leaderboards, earn exclusive badges, and prove your skills in officially hosted math competitions right here on the site.
Grow with the Community
It's not just about winning. See how others solved complex problems, share your own unique methods, and submit challenges for the entire community to solve.
A living Library
Explore a vast library of theorems and problems. Our entire collection is open for community contributions and formally verified using Lean4 integration.