CompeteMath - Discover the Beauty of Math

CompeteMath

Learn Research Donate

CompeteMath

A competitive mathematics arena. New problems every day, formally verified with Lean 4.

Explore

Home
Community
Practice
Leaderboard

Resources

About
What is Leak?
FAQ
Contribute
Donate

Legal

Privacy Policy
Terms of Service
Cookie Policy

© 2026 CompeteMath. All rights reserved.

$ proofs checked by Lean 4 · problems dropped every day