Collaborative Interactive Theorem Proving with Clide

DOI10.1007/978-3-319-08970-6_30zbMath1416.68177OpenAlexW266336910MaRDI QIDQ2879270

Martin Ring, Christoph Lüth

Publication date: 8 September 2014

Published in: Interactive Theorem Proving (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Related Items (2)

Asynchronous Processing of Coq Documents: From the Kernel up to the User Interface ⋮ Clide

Uses Software

• Unnamed Item
• Unnamed Item
• Mizar
• Proof General
• Isabelle/jEdit

This page was built for publication: Collaborative Interactive Theorem Proving with Clide