校对者

证明定理:协同定理证明。QuePoPee利用社交网络的力量将交互式定理证明技术结合在一起。因为校对被设计为在云中运行,令人兴奋的可能性打开,如容易共享定理证明工件,机器学习应用,如协同过滤,以及验证和计算规模与手头的任务。