Importing HOL Light into Coq

DOI10.1007/978-3-642-14052-5_22zbMath1291.68353OpenAlexW1516654960MaRDI QIDQ5747657

Could not fetch data.

Publication date: 14 September 2010

Published in: (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-14052-5_22

Mathematics Subject Classification ID

Could not fetch data.