Frequently Asked Questions

Final Equation is a mobile app for learning and writing formal proofs with guided tactics, game-style levels, and collaboration.

Yes. The app is free, with no ads and no subscriptions.

No. Number Game starts from basics and builds proof skills step by step.

Final Equation is available for:

• Android: Android 8.0 (API 26) or higher
• iOS: iOS 13.0 or higher (iPhone and iPad)

Number Game is a guided proof curriculum where you prove core theorems and unlock progressively harder levels.

Collaborative proofs let multiple users work in the same session. You can:

• Create or join a shared proof session
• Receive live proof-state updates
• Coordinate through in-session collaboration controls

Core proof editing and Number Game are available offline. Collaboration and sync require internet.

You can delete your account in two ways:

1. In the app: Go to Settings > Account > Delete Account
2. On our website: Visit the account deletion page

Deletion is permanent and removes associated data.

Email support@finalequation.com. Typical response is within 24-48 hours.

Yes. We collect only required service data, apply standard security controls, and do not sell personal information. See Privacy Policy.