8月2日消息,Polyhedra Proof,Network团队 Cloud进入了Beta阶段,同时发布了“Proof Arena“在平台上,开发人员可以通过该平台在可控环境中测试各种证明系统,以评估证明系统生成任务的特定证明的性能。