Interactive theorem proving. 5th international conference, ITP 2014, held as part of the Vienna summer of logic, VSL 2014, Vienna, Austria, July 14--17, 2014. Proceedings

DOI10.1007/978-3-319-08970-6zbMath1294.68020OpenAlexW289357661MaRDI QIDQ2248021

No author found.

Publication date: 30 June 2014

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

Full work available at URL: https://doi.org/10.1007/978-3-319-08970-6

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Related Items

On definitions of constants and types in HOL, Self-formalisation of higher-order logic. Semantics, soundness, and a verified implementation, Proof-Producing Reflection for HOL

Uses Software

• Coq
• CompCert
• Milawa
• pGCL