Cette page contient les versions « tout en un ». Pour la source, voir ici. En cas de problème sous Mac, voir ici.
- D∃∀DUCTION 0.31
Nouveautés :
- Quelques exercices sur les limites !
- Correction de bugs, amélioration du choix des paramètres
- D∃∀DUCTION 0.3
Nouveautés :
- Aide sur chaque élément du contexte, et sur le but
- Glisser-déposer (« drag and drop »)
- D∃∀DUCTION 0.2
Nouveautés :
- Fenêtre donnant un aperçu global de la preuve