Ce projet fournit un script de génération de fichiers dédiés à la déduction à partir de fichiers de benchmark BWare. Il nécessite l'installation préalable de `zenon_modulo`.

GeoCoqInE-Euclid est un projet de démonstration de théorèmes géométriques automatisée, utilisant le langage de programmation fonctionnelle Coq et la bibliothèque Euclid. Il permet le développement et la vérification de preuves formelles, ainsi que le travail collaboratif sur des théories mathématiques.