4 ms·Do they know beforehand a value of N so that the proofs have depth < N?by zomglings 7y agoDo they know beforehand a value of N so that the proofs have depth < N?