CompeteMath - Discover the Beauty of Math

CompeteMath

Home Community Practice Leaderboard

CONSULTING ARCHIVES

CompeteMath

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

Explore

Home
Community
Practice
Leaderboard

Resources

About
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