Hacker News new | ask | show | jobs
by arlort 1120 days ago
Is this what you're looking for?

https://github.com/leanprover-community/mathlib