| ▲ | inigyou 6 hours ago | |
There are projects to take the entirety of humanity's mathematical knowledge and pour it into a proof checker. | ||
| ▲ | elias_t 3 hours ago | parent [-] | |
Do you have the names of such projects? | ||
| ▲ | inigyou 6 hours ago | |
There are projects to take the entirety of humanity's mathematical knowledge and pour it into a proof checker. | ||
| ▲ | elias_t 3 hours ago | parent [-] | |
Do you have the names of such projects? | ||