DOI10.1007/978-3-642-39634-2_38zbMath1317.68225MaRDI QIDQ5327372
Magnus O. Myreen, Ramana Kumar, Scott Owens
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_38
Mathematics Subject Classification ID
Uses Software