logoalt Hacker News

whattheheckheck • today at 6:57 PM • 0 replies • view on HN

Why is lean4 so slow with the main math package