3 ms·
The Lean proof is the interesting part. A 100-page construction nobody's sure about becomes something you can trust when the multiplication-count bound is machi
by lee_ward 21d ago
The Lean proof is the interesting part. A 100-page construction nobody's sure about becomes something you can trust when the multiplication-count bound is machine-checked.