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) |
---|
Portail INRIA.HAL.SCIENCE Les publications, logiciels... des scientifiques Inria |
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 17 mai 2024-16:22:05
Archivage à long terme le : mardi 21 décembre 2021-09:07:44