ProofPeer - A Cloud-based Interactive Theorem Proving System

Details ProofPeer - A Cloud-based Interactive Theorem Proving System ProofPeer - A Cloud-based Interactive Theorem Proving System

2012-01-02

arxiv.org/abs/1201.0540v1

Computer Science

Mathematical Software

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

ProofPeer - A Cloud-based Interactive Theorem Proving System does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with ProofPeer - A Cloud-based Interactive Theorem Proving System, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and ProofPeer - A Cloud-based Interactive Theorem Proving System will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-183266