3 ms·> Work on porting mathlib to Lean 4 is far along As far as I understand, that work is in fact done.by staunton 2y ago> Work on porting mathlib to Lean 4 is far along As far as I understand, that work is in fact done.