Open Number Game
Pick a starter theorem and follow structured hints.
Mathematical Proofs,
Made Social
Learn proofs by doing, collaborate in real-time, and share formal mathematics with clear tools built for mobile.
Start in 3 Steps
Build Your Proof
Use tactic suggestions and the editor to complete goals.
Collaborate and Share
Join a live session and publish your progress to timeline.
Free on iOS and Android
No ads, no subscription
Formal proof workflows
Real-time collaboration
Play
The Natural Number Game offers hands-on exercises for all skill levels, from first proofs to advanced challenges.
Prove
A clean, modern proof editor with real-time feedback and optional hints when you want them.
Collaborate
Work together with friends and colleagues on proofs in real-time.
How Collaboration Works
- Create or join a proof session from the editor.
- Work from the same live goal state with shared updates.
- Review progress together and continue asynchronously.
See It In Action
Phone
Tablet
Why Final Equation?
- Accessible to beginners, challenging for experts
- Beautiful math rendering with LaTeX support
- Cross-platform - works on Android and iOS
- Free to use - no ads or subscriptions
- Build a portfolio of your proofs
- Join a community of proof enthusiasts
Ready to prove something?
Download Final Equation and join a community of mathematicians, students, and proof enthusiasts.