CompeteMath - Discover the Beauty of Math

Loading...

CompeteMath

Learn Research Donate

Login Background

Welcome Back

Sign in to your account

Identifier

Password

CompeteMath

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

Explore

Home
Community
Practice
Leaderboard

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