// contribute
The fastest way to contribute is to write problems. Open the Problem Forge, hit “Draft a Problem”, and write your problem with full Markdown + LaTeX support. Preview it, submit it, and an admin will review it for the public arena. Great problems have a single crisp insight at their core.
We formally verify answers to problems using Lean 4, Mathlib, and Tengoku. If you can produce high-quality Lean 4 proofs, think you can make an improvement to our services, or are genuinely curious about something and just want to talk, these are the most valuable contribution of all. Visit our public organisation repository to see what we are currently working on, or contact me directly using the mail icon in the footer.
Communities thrive on people. Share a problem that stumped you, drag a friend onto the leaderboard, or start a rivalry. CompeteMath is better with you in it.