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)