GeoCoqInE-Euclid

Notoriété 10 %

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.

Dépôt de code

https://github.com/Deducteam/GeoCoqInE-Euclid (nouvelle fenêtre)2 étoiles

Cas d'utilisation métiers

Preuve automatique de théorèmes géométriques : rechercher des initiatives proches
Développement et vérification de preuves formelles : rechercher des initiatives proches
Travail collaboratif sur des théories mathématiques : rechercher des initiatives proches

Cas d'utilisation fonctionnel

Utilise de l'intelligence artificielle : voir les initiatives de ses organisations qui l'ont aussi

Organisation

Administration centrale
- Gouvernement (Premier ministre et ministères)
  - Ministère de l’Enseignement supérieur, de la Recherche et de l'Espace
    - Établissements d'enseignement supérieur et de recherche - Ministère chargé de l'Enseignement supérieur
      - École normale supérieure Paris-Saclay (organisation rattachée)

Outil utilisé

Git : voir les initiatives de ses organisations qui l'ont aussi

Description générée le mardi 19 mars 2024 à 08:52:32

D'autres initiatives de la même organisation

lambdapi
github.com/Deducteam/lambdapi
Logipedia
github.com/Deducteam/Logipedia
Agda2Dedukti
github.com/Deducteam/Agda2Dedukti
Zenon Modulo
github.com/Deducteam/zenon_modulo