Agda2Dedukti

Notoriété 27 %

Agda2Dedukti est un traducteur permettant de convertir des preuves formelles écrites dans le langage Agda vers les langages Dedukti et Lambdapi, facilitant ainsi la vérification de ces preuves.

Dépôt de code

https://github.com/Deducteam/Agda2Dedukti (nouvelle fenêtre)22 étoiles

Cas d'utilisation métiers

Traduction de preuves formelles d'Agda vers Dedukti et Lambdapi
Vérification de preuves formelles traduites dans Dedukti et Lambdapi

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)

Description générée le lundi 18 mars 2024 à 20:50:19

D'autres initiatives de la même organisation

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