Scalable Verification and Computation

Because ProofPeer runs in the cloud, its processing power is not limited by a single computer but only by the capacity the cloud can provide. ProofPeer scripts and executable algorithms that have been formalized in ProofPeer can take advantage of this raw computing power and enable you to handle your verification and computation needs in a scalable way. Nevertheless, ProofPeer also allows you to harness the computing power of your local machine.