CompeteMath - Discover the Beauty of Math

Loading...

CompeteMath

Home Community Practice Leaderboard

#

Contender

Date

Time

The hall is empty.

Submit a solution to claim your throne.

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