Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

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




Consider applying for YC's Fall 2026 batch! Applications are open till July 27.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: