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?
alt Hacker News
Do you have the names of such projects?