- Tentative d'amélioration de l'ergonomie de la calculatrice (en particulier, une seule fenêtre au lieu de deux, et navigation plus intuitive (?))
- Ajout de messages explicatifs dans des fenêtres d'alerte,
- L'énoncé est affiché quand on retourne au début
- L'utilisateur peut nommer les nouvelles variables (en option)
- Icône de nouvel objet remplacée par du gras
- L'installation en réseau est facilitée (Lean et Mathlib sont recherchés d'abord de façon centralisée)
