3 ms·
> If you can't falsify it, you have to take it seriously. No, I don't.
by hayley-patton 9mo ago
> If you can't falsify it, you have to take it seriously.
No, I don't.
- nwthiele 9mo agoFair, but the Coq proofs are zero-admit. Here is why it's falsifiable... https://github.com/sethirus/The-Thiele-Machine/blob/main/thesis_final.pdf https://github.com/sethirus/The-Thiele-Machine/blob/main/the... (Chapter 5)