CompeteMath - Discover the Beauty of Math

Loading...

CompeteMath

Learn Research Donate

CONSULTING ARCHIVES

CompeteMath

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

Explore

Home
Community
Practice
Leaderboard

Research

Tengoku
Leak
LRR
Blog

Resources

About
What is Leak?
What is Tengoku?
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