Hacker News new | ask | show | jobs
by whattheheckheck 154 days ago
Lean4 with a mathlib project seems really slow has anyone else experienced that?