# ProofPeer: Collaborative Theorem Proving

arXiv: https://arxiv.org/abs/1404.6186 · HTML: https://mlsanity.com/paper/1404.6186/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 24 Apr 2014.

## Built on by (most cited first, 1 of 1)

- [Smart Proofs via Smart Contracts: Succinct and Informative Mathematical Derivations via Decentralized Markets](https://mlsanity.com/paper/2102.03044/) (2021)

## Abstract (arXiv)

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.