ProofPeer: Collaborative Theorem Proving

2014/04/24 by Obua, Steven, Fleuriot, Jacques, Scott, Phil +1
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)

paper · doi:10.48550/arxiv.1404.6186

Abstract

We define the concept of collaborative theorem proving and outline our plan to make it a reality. We believe that a successful implementation of collaborative theorem proving is a necessary prerequisite for the formal verification of large systems.

Related

• ProofPeer - A Cloud-based Interactive Theorem Proving System
• Theorem Provers: One Size Fits All?
• Theorem Proving in Large Formal Mathematics as an Emerging AI Field
• Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems
• Automatic verification and interactive theorem proving