- A VENIR…
- D∃∀DUCTION 0.39996
- 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)
D∃∀DUCTION 0.3999
- Corrections divers bugs, exercices élémentaires d’arithmétique
D∃∀DUCTION 0.39
- 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.
D∃∀DUCTION 0.31
- Quelques exercices sur les limites !
- Correction de bugs, amélioration du choix des paramètres
D∃∀DUCTION 0.3
- Aide sur chaque élément du contexte, et sur le but
- Glisser-déposer (« drag and drop »)
D∃∀DUCTION 0.2
- Fenêtre donnant un aperçu global de la preuve