Hacker News new | ask | show | jobs
by F-0X 2420 days ago
The proof prover proves the proof, but who shall prove the proof prover?
1 comments
enriquto 2420 days ago
it's provers all the way down!
link