Do you have the names of such projects?
From the article: https://mathlib.org
Also https://1000-plus.github.io and https://us.metamath.org
alt Hacker News
From the article: https://mathlib.org
Also https://1000-plus.github.io and https://us.metamath.org