ProofPeer: Collaborative Theorem Proving
Not on the map. Why?
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.
Key facts. Cited by 1 paper in the map (data through 7 Oct 2026). First posted on arXiv 24 Apr 2014.
Builds on
No reference list yet.
Built on by
Citing papers per year: 2021: 1.
1 paper.