ProofPeer swMATH ID: 30422 Software Authors: Obua, S., Fleuriot, J.D., Scott, P., Aspinall, D. Description: 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. Homepage: http://www.proofpeer.net/ Related Software: Isabelle/ZF; Rodin; Metamath; Twelf; Mizar; Isar; Isabelle; Logic2CNF; miz3; Lean; Isabelle/PIDE; OMDoc; MML; MoMM; SPASS; MPTP 0.2; MPTP; Isabelle/Isar; MizarMode; Isabelle/HOL Cited in: 4 Publications all top 5 Cited by 6 Authors 2 Fleuriot, Jacques D. 2 Kaliszyk, Cezary 2 Obua, Steven 2 Pąk, Karol 2 Scott, Phil 1 Aspinall, David Cited in 1 Serial 1 Journal of Automated Reasoning Cited in 2 Fields 4 Computer science (68-XX) 2 Mathematical logic and foundations (03-XX) Citations by Year