3 ms·
Yep. And there are proof systems that use this approach (i.e. build a series of provers that each prove the next (more complex) one).
by TheLoneWolfling 12y ago
Yep.
And there are proof systems that use this approach (i.e. build a series of provers that each prove the next (more complex) one).