M1 Internship Report Translating proofs between Isabelle and Dedukti - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports Year : 2021

M1 Internship Report Translating proofs between Isabelle and Dedukti

Rapport de stage M1 Traduction de preuves entre Isabelle et Dedukti

Fichier principal
Vignette du fichier
Rapport_Stage.pdf (279.36 Ko) Télécharger le fichier
Origin Files produced by the author(s)

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⟩
179 View
187 Download

Share

Gmail Mastodon Facebook X LinkedIn More