Comment by elias_t 2 days ago Do you have the names of such projects? 1 comment elias_t Reply YoshiRulz 1 day ago From the article: https://mathlib.orgAlso https://1000-plus.github.io and https://us.metamath.org
YoshiRulz 1 day ago From the article: https://mathlib.orgAlso https://1000-plus.github.io and https://us.metamath.org
From the article: https://mathlib.org
Also https://1000-plus.github.io and https://us.metamath.org