Querying Proofs
From MaRDI portal
Publication:2891442
DOI10.1007/978-3-642-28717-6_10zbMath1352.68212OpenAlexW2913665485MaRDI QIDQ2891442
Christoph Lüth, Ewen Denney, David Aspinall
Publication date: 15 June 2012
Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-28717-6_10
Related Items
A Query Language for Formal Mathematical Libraries, Experiences from exporting major proof assistant libraries
