ProofPeer: Collaborative Theorem Proving

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

Research output: Working paper

Fingerprint

Dive into the research topics of 'ProofPeer: Collaborative Theorem Proving'. Together they form a unique fingerprint.

Computer Science