Y
Hacker News
new
|
ask
|
show
|
jobs
by
inigyou
11 days ago
There are projects to take the entirety of humanity's mathematical knowledge and pour it into a proof checker.
1 comments
elias_t
11 days ago
Do you have the names of such projects?
link
YoshiRulz
11 days ago
From the article:
https://mathlib.org
Also
https://1000-plus.github.io
and
https://us.metamath.org
link