3 ms·
Why did the verification step take so long? I imagine just verifying proofs is very efficient, no? Or do they mean formalizing the proof in Lean is what took w
by brap 3y ago
Why did the verification step take so long? I imagine just verifying proofs is very efficient, no?
Or do they mean formalizing the proof in Lean is what took weeks?
- adastra22 3y agoThey’re talking about formalizing the proof (aka writing Lean “code”).