Scalable LCF-Style Proof Translation
From MaRDI portal
Publication:5327336
DOI10.1007/978-3-642-39634-2_7zbMath1317.68214WikidataQ108482183 ScholiaQ108482183MaRDI QIDQ5327336
Cezary Kaliszyk, Alexander Krauss
Publication date: 7 August 2013
Published in: Interactive Theorem Proving (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-39634-2_7
Uses Software