Hacker News new | ask | show | jobs
by Ericson2314 1613 days ago
It's a controversial but good opinion. Mathlib marches on and gets better and better.