![[Previous]](prev.gif){kind=small}
![[Next]](next.gif){kind=small}
- résultats : bibliothèque
de géométrie dédiée à l'enseignement
couvrant le programme du lycée
- "imiter" les techniques de démonstrations du lycée
- obtenir des énoncés et des figures accessibles
- améliorations et
perspectives
- utilisation d'un démonstrateur automatique
- explications en langage naturel des preuves formelles
- boite à outil pour écrire des preuves