Mémoires D'étudiants -- Hal-Inria+ Année : 2020

Importing Logipedia proofs in Agda

Importer les preuves de Logipedia dans Agda

Fichier principal
Vignette du fichier
rapport_stage_deducteam_delort_tristan.pdf (121.02 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

hal-02985530 , version 1 (07-01-2021)

Licence

Identifiants

  • HAL Id : hal-02985530 , version 1

Citer

Tristan Delort. Importer les preuves de Logipedia dans Agda. Théorie et langage formel [cs.FL]. 2020. ⟨hal-02985530⟩
184 Consultations
326 Téléchargements

Partager

  • More