M1 Internship Report Translating proofs between Isabelle and Dedukti - Laboratoire Méthodes Formelles
Rapport Année : 2021

M1 Internship Report Translating proofs between Isabelle and Dedukti

Rapport de stage M1 Traduction de preuves entre Isabelle et Dedukti

Domaines

Logique en informatique [cs.LO] Langage de programmation [cs.PL]
Fichier principal
Vignette du fichier
Rapport_Stage.pdf (279.36 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Yann Leray  : Connectez-vous pour contacter le contributeur

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

Soumis le : dimanche 19 septembre 2021-04:48:41

Dernière modification le : jeudi 28 novembre 2024-14:52:02

Archivage à long terme le : mardi 21 décembre 2021-09:07:44

Télécharger pour visualiser

Dates et versions

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

Identifiants

  • HAL Id : hal-03348486 , version 1

Citer

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

Exporter

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 Consultations
214 Téléchargements

Partager

More