HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by elias_t | Hacker News Reader
Parent
Full thread
elias_t
·
Do you have the names of such projects?
View on HN
YoshiRulz
·
From the article:
https://mathlib.org
Also
https://1000-plus.github.io
and
https://us.metamath.org
Reply on news.ycombinator.com