Open Number Game
Pick a starter theorem and follow structured hints.
Learn formal proofs,
one step at a time
A beautiful proof editor with guided tutorials, real math, and no ads.
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
Real-time collaboration
Prove
A clean, modern proof editor with real-time feedback and optional hints when you want them.
Play
The Natural Number Game offers hands-on exercises for all skill levels, from first proofs to advanced challenges.
Collaborate
Work together with friends and colleagues on proofs in real-time. Learn more →
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.