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.

The latest major update focuses on performance and navigation improvements. There is no user data available to assess the impact of these changes. The net verdict remains neutral due to the absence of post-update signals.

Version 2.07:
- First proof opens dramatically faster — up to 20× on older devices.
- Browse worlds and settings while the proof engine warms up in the background.
- Fixed a crash when opening some worlds.
- Reliability improvements across the proof editor and collaboration.