Shared-Memory Multiprocessing for Interactive Theorem Proving

DOI10.1007/978-3-642-39634-2_30zbMath1317.68235OpenAlexW195012021MaRDI QIDQ5327360

Makarius Wenzel

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_30

Mathematics Subject Classification ID

Related Items

Mechanizing a process algebra for network protocols ⋮ From LCF to Isabelle/HOL

Uses Software

• Isabelle/jEdit
• Archive Formal Proofs