Hacker News new | ask | show | jobs
by hayley-patton 152 days ago
> If you can't falsify it, you have to take it seriously.

No, I don't.
1 comments
nwthiele 150 days ago
Fair, but the Coq proofs are zero-admit. Here is why it's falsifiable... https://github.com/sethirus/The-Thiele-Machine/blob/main/the... (Chapter 5)
link