2 research outputs found
ProofPeer - A Cloud-based Interactive Theorem Proving System
ProofPeer strives to be a system for cloud-based interactive theorem proving.
After illustrating why such a system is needed, the paper presents some of the
design challenges that ProofPeer needs to meet to succeed. Contexts are
presented as a solution to the problem of sharing proof state among the users
of ProofPeer. Chronicles are introduced as a way to organize and version
contexts
ProofPeer: Collaborative Theorem Proving
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