Learn through Competition
Work through a bottomless pool of fresh problems, climb the global leaderboards, earn exclusive badges, and prove your skills in officially hosted competitions. Every solve pushes you up the ranks.
Never stay stuck
Doubt a problem? You’re never left guessing. After a few honest attempts, every practice problem reveals its key insight — the core idea behind the answer — backed by a machine-checked formal proof in Lean 4 you can open, copy, and verify yourself. No hand-waving, no “trust me.”
Grow with the Community
It’s not just about winning. Submit your own challenges, and on every community problem join an open discussion to contest an answer, suggest a sharper solution, and compare methods with solvers who see the problem differently.
Quality you can trust
Nothing goes live unchecked. Every question is reviewed by an admin for quality and correctness before it reaches you, and its answer is enforced by a formal Lean 4 certificate — so the problems you train on are the real deal.