HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by hyperpallium | Hacker News Reader
Parent
Full thread
hyperpallium
·
You can prove a theorem, but who shall prove the proof?
View on HN
F-0X
·
The proof prover proves the proof, but who shall prove the proof prover?
enriquto
·
it's provers all the way down!
Reply on news.ycombinator.com