3 ms·Why is lean4 so slow with the main math packageby whattheheckheck 8mo agoWhy is lean4 so slow with the main math package