Skip to Main content Skip to Navigation
New interface
Reports

M1 Internship Report Translating proofs between Isabelle and Dedukti

Yann Leray 1 
1 DEDUCTEAM - Deduction modulo, interopérabilité et démonstration automatique
Inria Saclay - Ile de France, LMF - Laboratoire Méthodes Formelles
Complete list of metadata

https://hal.inria.fr/hal-03348486
Contributor : Yann Leray Connect in order to contact the contributor
Submitted on : Sunday, September 19, 2021 - 4:48:41 AM
Last modification on : Thursday, October 27, 2022 - 1:45:02 PM
Long-term archiving on: : Tuesday, December 21, 2021 - 9:07:44 AM

File

Rapport_Stage.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-03348486, version 1

Citation

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

Share

Metrics

Record views

92

Files downloads

120