校对员

合作定理证明。ProofPeer将交互式定理证明技术与社交网络的能力结合在一起。因为ProofPeer被设计为在云端运行,令人兴奋的可能性正在开放,比如定理证明工件的简单共享,协作过滤等机器学习应用,以及根据手头任务进行调整的验证和计算。