M1 Internship Report
Translating proofs between Isabelle and Dedukti

Yann Leray

Rapport Année : 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

Fonction : Auteur

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

Domaines

Logique en informatique [cs.LO] Langage de programmation [cs.PL]

Fichier principal

Rapport_Stage.pdf (279.36 Ko)

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 : vendredi 24 mars 2023-14:53:22

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

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

176 Consultations

179 Téléchargements