3 ms·
Clickbaity title but I found the content interesting, concerning a growing push for more computer-verified proofs
by kilovoltaire 7y ago
Clickbaity title but I found the content interesting, concerning a growing push for more computer-verified proofs