From the article: https://mathlib.org https://mathlib.org Also https://1000-plus.github.io https://1000-plus.github.io and https://us.metamath.org https://us.m

From the article: https://mathlib.org https://mathlib.org Also https://1000-plus.github.io https://1000-plus.github.io and https://us.metamath.org https://us.metamath.org