ProofPeer: collaborative theorem proving. ProofPeer brings together interactive theorem proving technology with the power of the social web. Because ProofPeer is designed to run in the cloud, exciting possibilities are opening up like easy sharing of theorem proving artifacts, machine learning applications such as collaborative filtering, and verification and computation that scale with the task at hand.