Telecharger Cours

Méta-programmation pour le transfert de preuve en théorie des ...

... in the design of two proof transfer tools, TRAKT and TROCQ, whose implementation is discussed here, us- ing the COQ-ELPI meta-language.



Download