Back to Search Start Over

ProofPeer: Collaborative Theorem Proving

Authors :
Obua, Steven
Fleuriot, Jacques
Scott, Phil
Aspinall, David
Publication Year :
2014

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.

Subjects

Subjects :
Computer Science - Logic in Computer Science

Details

Database :
arXiv
Publication Type :
Report
Accession number :
edsarx.1404.6186
Document Type :
Working Paper

Tools

Authors Abstract Subjects Details