ProofPeer: Collaborative Theorem Proving

Steven Obua; Jacques D. Fleuriot; Phil Scott; David Aspinall

ProofPeer: Collaborative Theorem Proving

Steven Obua, Jacques D. Fleuriot, Phil Scott, David Aspinall

Research output: Working paper

Abstract / Description of output

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.

Original language	English
Number of pages	11
Volume	abs/1404.6186
Publication status	Published - 2014

Access to Document

1404.6186v1Accepted author manuscript, 249 KB

http://arxiv.org/abs/1404.6186

ProofPeer: Collaborative Theorem Proving
Fleuriot, J. & Aspinall, D.
EPSRC
1/04/14 → 31/03/17
Project: Research

Cite this

@techreport{dd0d7c6050074bd2949d617f5e873738,

title = "ProofPeer: Collaborative Theorem Proving",

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. ",

author = "Steven Obua and Fleuriot, {Jacques D.} and Phil Scott and David Aspinall",

year = "2014",

language = "English",

volume = "abs/1404.6186",

type = "WorkingPaper",

}

TY - UNPB

T1 - ProofPeer: Collaborative Theorem Proving

AU - Obua, Steven

AU - Fleuriot, Jacques D.

AU - Scott, Phil

AU - Aspinall, David

PY - 2014

Y1 - 2014

N2 - 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.

AB - 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.

M3 - Working paper

VL - abs/1404.6186

BT - ProofPeer: Collaborative Theorem Proving

ER -

ProofPeer: Collaborative Theorem Proving

Abstract / Description of output

Access to Document

Fingerprint

Projects

ProofPeer: Collaborative Theorem Proving

Cite this