ProofPeer: Collaborative Theorem Proving
Logic in Computer Science
2014-04-25 v1
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.
Keywords
Cite
@article{arxiv.1404.6186,
title = {ProofPeer: Collaborative Theorem Proving},
author = {Steven Obua and Jacques Fleuriot and Phil Scott and David Aspinall},
journal= {arXiv preprint arXiv:1404.6186},
year = {2014}
}