Nouveautés :
- Une "calculatrice logique" permet à l'utilisateurice de rentrer des objets mathématiques (pour appliquer un théorème, fournir un témoin pour démontrer une propriété existentielle, formuler un nouveau but, etc.)
- Nouvelle interface de choix des exercices, avec indication des exercices faits, et possibilité de sauvegarder les preuves.
- Boutons de calcul (expérimental) : additionner des inégalités, les enchainer, etc. .
- Amélioration de l'affichage des maths.
- Résolution de problèmes de ralentissement, ajout d'un bouton pour redémarrer le serveur Lean.
![Formulaire pour utiliser une propriété de limite présente dans le contexte : "Quel objet joue le rôle de ε ?](https://perso.imj-prg.fr/frederic-leroux/wp-content/uploads/sites/55/2023/12/Capture-decran-de-2023-12-27-17-54-51-1.png)
![Formulaire pour fournir un témoin démontrant une propriété d'existence : "Quel objet joue le rôle de N'' ?"](https://perso.imj-prg.fr/frederic-leroux/wp-content/uploads/sites/55/2023/12/Capture-decran-de-2023-12-27-17-55-21.png)
![Formulaire pour appliquer l'inégalité triangulaire.](https://perso.imj-prg.fr/frederic-leroux/wp-content/uploads/sites/55/2023/12/Capture-decran-de-2023-12-27-17-56-53.png)
![Calculatrice Logique, pour remplir les formulaires précédents.](https://perso.imj-prg.fr/frederic-leroux/wp-content/uploads/sites/55/2023/12/Capture-decran-de-2023-12-27-17-54-15-2.png)
![Choisir un exercice, avec affichage de l'énoncé de l'exercice et des exercices déjà résolus](https://perso.imj-prg.fr/frederic-leroux/wp-content/uploads/sites/55/2023/12/Capture-decran-de-2023-12-28-11-28-45.png)