Importer les preuves de Logipedia dans
Agda

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

Importing Logipedia proofs in Agda

(1)

1

Tristan Delort

Théorie et langage formel [cs.FL]

Fichier principal

rapport_stage_deducteam_delort_tristan.pdf (121.02 Ko)

Origine : Fichiers produits par l'(les) auteur(s)

https://inria.hal.science/hal-02985530

Soumis le : jeudi 7 janvier 2021-08:55:42

Dernière modification le : mercredi 29 novembre 2023-15:28:04

Archivage à long terme le : jeudi 8 avril 2021-18:02:30

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

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

CNRS INRIA ENS-CACHAN INRIA2 UNIV-PARIS-SACLAY ENS-PARIS-SACLAY GS-COMPUTER-SCIENCE

62 Consultations

201 Téléchargements