ProofPeer-A Cloud-based Interactive Theorem Proving System

Steven Obua

Research output: Working paper

Fingerprint

Dive into the research topics of 'ProofPeer-A Cloud-based Interactive Theorem Proving System'. Together they form a unique fingerprint.

Computer Science