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