Interoperability between arithmetic proofs using Dedukti
L'intéropérabilité entre des preuves d'arithmétique en utilisan Dedukti
Fichier principal
poster.pdf (1022.03 Ko)
Télécharger le fichier
presentation.pdf (139.86 Ko)
Télécharger le fichier
Origin : Files produced by the author(s)