Abstract : We use Dedukti as a logical framework for interoperability. We use automated tools to translate different developments made in HOL and in Coq to Dedukti and we combine them to prove new results.
https://hal.inria.fr/hal-01141789
Contributeur : Ali Assaf
<>
Soumis le : lundi 13 avril 2015 - 17:13:32
Dernière modification le : mardi 17 avril 2018 - 11:30:10
Document(s) archivé(s) le : mardi 18 avril 2017 - 17:52:18
