PROOFPEER

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... We believe that interactive theorem proving can bring great benefits to (applied) mathematicians and engineers. To that end ProofPeer works hard to maintain widely accepted notation. In that way you can both profit from the hard work of your peers and also give back to the community by publishing your theorems, proofs and algorithms.