ProofPeer -一个基于云的交互式定理证明系统
ProofPeer - A Cloud-based Interactive Theorem Proving System
摘要：
ProofPeer致力于成为一个基于云的交互式定理证明系统。在说明了为什么需要这样一个系统之后，本文提出了ProofPeer要取得成功需要满足的一些设计挑战。上下文作为一个解决方案的ProofPeer的用户之间共享证明状态的问题。编年史是作为一种组织和版本上下文的方式引入的。
英文摘要：
ProofPeer strives to be a system for cloud-based interactive theorem proving. After illustrating why such a system is needed, the paper presents some of the design challenges that ProofPeer needs to meet to succeed. Contexts are presented as a solution to the problem of sharing proof state among the users of ProofPeer. Chronicles are introduced as a way to organize and version contexts.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
