DOI10.1007/978-3-642-32347-8_25zbMath1360.68750MaRDI QIDQ2914755
Enrico Tassi, Georges Gonthier
Publication date: 20 September 2012 Published in: Interactive Theorem Proving (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1007/978-3-642-32347-8_25
Mathematics Subject Classification ID
Uses Software