Some Considerations on the Usability of Interactive Provers

DOI10.1007/978-3-642-14128-7_13zbMath1286.68388OpenAlexW4236999398MaRDI QIDQ3582703

Andrea Asperti, Claudio Sacerdoti Coen

Publication date: 24 August 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-14128-7_13

Mathematics Subject Classification ID

Related Items (3)

Theory Presentation Combinators ⋮ Isabelle formalisation of original representation theorems ⋮ A formalization of multi-tape Turing machines

Uses Software

• Nuprl
• LCF

This page was built for publication: Some Considerations on the Usability of Interactive Provers