Hacker News new | ask | show | jobs
by elias_t 11 days ago
Do you have the names of such projects?
1 comments
YoshiRulz 10 days ago
From the article: https://mathlib.org

Also https://1000-plus.github.io and https://us.metamath.org

link