ProofArena平臺(tái)PolyhedraNetwork發(fā)布
8月2日消息，Polyhedra Proof，Network團(tuán)隊(duì) Cloud進(jìn)入了Beta階段，同時(shí)發(fā)布了“Proof Arena“在平臺(tái)上，開發(fā)人員可以通過該平臺(tái)在可控環(huán)境中測試各種證明系統(tǒng)，以評(píng)估證明系統(tǒng)生成任務(wù)的特定證明的性能。
版權(quán)聲明：本站所有文章皆是來自互聯(lián)網(wǎng),如內(nèi)容侵權(quán)可以聯(lián)系我們刪除！
