Collaborative Interactive Theorem Proving with Clide

DOI10.1007/978-3-319-08970-6_30MaRDI QIDQ2879270zbMATH OpenOpenAlexFDO

Authors 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

Recommendations

• scientific article; zbMATH DE number 1552521
• scientific article; zbMATH DE number 3870635
• A survey of interactive theorem proving
• The Theorema Environment for Interactive Proof Development
• scientific article; zbMATH DE number 2177623
• scientific article; zbMATH DE number 1552511
• Interactive theorem proving. Preface of the special issue
• scientific article; zbMATH DE number 2088036
• Theo: An interactive proof development system
• Shared-memory multiprocessing for interactive theorem proving

Cited in

(7)

• Clide
• A web interface for Isabelle: the next generation
• Web interfaces for proof assistants
• Asynchronous processing of Coq documents: from the kernel up to the user interface
• ProofScript: proof scripting for the masses
• Cooperative Repositories for Formal Proofs
• Remote verification system for Mizar integrated with emwiki

Describes a project that uses

Uses Software

• Isabelle
• Isabelle/HOL
• Mizar
• Proof General
• Isabelle/jEdit

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2879270)