3 ms·
The compiled proof does take a few hours to finish verifying on a typical laptop. But obviously the many experiments and enumerations along the way took much mo
by LegionMammal978 1y ago
The compiled proof does take a few hours to finish verifying on a typical laptop. But obviously the many experiments and enumerations along the way took much more total processing power.
- tsterin 1y ago45 minutes on 13 cores on a standard laptop :)