From the article: https://mathlib.org

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