Changing Data Representation within the Coq System (2003)

by N Magaud
Venue:In 16th Intl. Conf. Theorem Proving in Higher Order Logics (TPHOLs’03), LNCS 2758