M1 Internship Report
Translating proofs between Isabelle and Dedukti

Yann Leray

Reports Year : 2021

M1 Internship Report Translating proofs between Isabelle and Dedukti

Rapport de stage M1 Traduction de preuves entre Isabelle et Dedukti

(1)

1

Yann Leray

Function : Author

Deduction modulo, interopérabilité et démonstration automatique

Domains

Logic in Computer Science [cs.LO] Programming Languages [cs.PL]

Fichier principal

Rapport_Stage.pdf (279.36 Ko)

Origin	Files produced by the author(s)

Yann Leray : Connect in order to contact the contributor

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

Submitted on : Sunday, September 19, 2021-4:48:41 AM

Last modification on : Thursday, November 28, 2024-2:52:02 PM

Long-term archiving on : Tuesday, December 21, 2021-9:07:44 AM

Dates and versions

hal-03348486 , version 1 (19-09-2021)

Identifiers

HAL Id : hal-03348486 , version 1

Cite

Yann Leray. M1 Internship Report Translating proofs between Isabelle and Dedukti. [Internship report] Deducteam - Inria Paris-Saclay / ENS Paris-Saclay. 2021. ⟨hal-03348486⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

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

224 View

214 Download