Importing Logipedia proofs in Agda

Master Thesis Year : 2020

Importer les preuves de Logipedia dans Agda

(1)

1

Tristan Delort

Computer Science [cs] Formal Languages and Automata Theory [cs.FL]

Fichier principal

rapport_stage_deducteam_delort_tristan.pdf (121.02 Ko)

Origin : Files produced by the author(s)

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

Submitted on : Thursday, January 7, 2021-8:55:42 AM

Last modification on : Friday, August 5, 2022-2:58:08 PM

Long-term archiving on: Thursday, April 8, 2021-6:02:30 PM

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

53 View

194 Download