Feed
Latest updates from posts and formal proof activity.
February 2026
- Improved proof-editor collaboration and session discovery.
- Expanded formal proof workflows across iOS and Android.
- Stability and rendering fixes in timeline math display.
January 2026
- Introduced Number Game tab and proof-browser improvements.
- Added richer profile and account-management workflows.
- Upgraded screenshot and store-submission assets pipeline.