Comment by inigyou
2 days ago
There are projects to take the entirety of humanity's mathematical knowledge and pour it into a proof checker.
2 days ago
There are projects to take the entirety of humanity's mathematical knowledge and pour it into a proof checker.
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