Final Equation

iOS Universel / Education

Final Equation - The Interactive Platform for Mathematical Proofs

Master the art of mathematical reasoning through interactive proof games, collaborative problem-solving, and a supportive community of learners and educators.

Why Final Equation?

LEARN PROOFS INTERACTIVELY
Our Natural Number Game takes you from zero to hero in mathematical proofs. Start with basic concepts and progressively build your skills through carefully designed levels. No prior experience with formal proofs required!

PROVE THEOREMS WITH GUIDANCE
The built-in proof editor provides real-time feedback and tactic suggestions as you construct proofs. See your proof goals update instantly as you apply tactics, making abstract concepts tangible and understandable.

COLLABORATE IN REAL-TIME
Work together with others on proofs in real-time. See each other's contributions, discuss strategies, and learn from peers. Perfect for study groups, classrooms, or connecting with the global math community.

MATHEMATICS ON THE GO
Express mathematical ideas clearly with our powerful math editor. Create messages with beautifully rendered equations using MathML format. Share your work, ask questions, and help others - all from your mobile device.

JOIN A VIBRANT COMMUNITY
Connect with mathematics enthusiasts worldwide. Follow topics and users that interest you, participate in discussions, and be part of a friendly community focused on learning and discovery.

Features:
* Natural Number Game - Learn proofs through interactive gameplay
* Interactive Proof Editor - Construct formal proofs with real-time feedback
* Tactic Suggestions - Get intelligent hints when you're stuck
* Real-time Collaboration - Work on proofs together with others
* Mathematical Typesetting - Beautiful equation rendering with MathML
* Social Timeline - Share posts with text and mathematical expressions
* Hashtag Subscriptions - Follow topics that interest you

Privacy & Data:
* We never sell your personal data
* You can delete your account and data at any time
* See our privacy policy at https://www.finalequation.com/privacy

User Guide:
https://www.finalequation.com/UserGuide

Website:
https://www.finalequation.com

Quoi de neuf dans la dernière version ?

Version 2.07 focuses on how quickly Final Equation gets you into your first proof.

Faster cold start
We rewrote the proof engine's warm-up so the first proof opens dramatically faster — up to 20× on older devices — and stays fast on repeat opens.

Usable while it warms up
The world map, catalog, and settings are now fully interactive while the engine boots in the background. If you tap a level early you see per-module progress instead of a static "loading" spinner.

Stability
- Fixed a crash some users hit when opening a world.
- Reliability improvements across the proof editor and real-time collaboration.
- Various smaller fixes.