Hacker News new | ask | show | jobs
by whattheheckheck 123 days ago
Why is lean4 so slow with the main math package