3 ms·Lean4 with a mathlib project seems really slow has anyone else experienced that?by whattheheckheck 10mo agoLean4 with a mathlib project seems really slow has anyone else experienced that?