2 ms·
You are not trying to prove the thing, just trying to encode it, The assumption is that the proof already exists.
by bweitzman 10y ago
You are not trying to prove the thing, just trying to encode it, The assumption is that the proof already exists.