4 ms·
The last box, per https://news.ycombinator.com/item?id=49568667 https://news.ycombinator.com/item?id=49568667
by rawling 27d ago
The last box, per https://news.ycombinator.com/item?id=49568667 https://news.ycombinator.com/item?id=49568667
- throw567643u8 27d agoHas Lean proved the Four Colour Theorem? I thought only Rocq had.
- Smaug123 26d agoIt’s an aggregated list, not a list of formalisations in Lean - the checkbox is “things formalised in any prover”.