Importer les preuves de Logipedia dans Agda - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Master Thesis Year : 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
Origin : Files produced by the author(s)

Dates and versions

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

Identifiers

  • HAL Id : hal-02985530 , version 1

Cite

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

Share

Gmail Facebook X LinkedIn More