M1 Internship Report Translating proofs between Isabelle and Dedukti
Rapport de stage M1 Traduction de preuves entre Isabelle et Dedukti
Origine | Fichiers produits par l'(les) auteur(s) |
---|
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 21 novembre 2024-10:30:02
Archivage à long terme le : mardi 21 décembre 2021-09:07:44