Skip to Main content Skip to Navigation
Master thesis

Importer les preuves de Logipedia dans Agda

Tristan Delort 1
1 DEDUCTEAM - Deduction modulo, interopérabilité et démonstration automatique
Inria Saclay - Ile de France, LSV - Laboratoire Spécification et Vérification
Document type :
Master thesis
Complete list of metadatas
https://hal.inria.fr/hal-02985530
Contributor : Tristan Delort <>
Submitted on : Thursday, January 7, 2021 - 8:55:42 AM
Last modification on : Saturday, January 9, 2021 - 3:38:03 AM

File

Vignette du document
rapport_stage_deducteam_delort...
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02985530, version 1

Collections

CNRS | INRIA

Citation

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

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

11

Files downloads

17

 

Contact                    Legal Notice                    Personal Data