3 ms·
Fair, 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://githu
by nwthiele 9mo ago
Fair, 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)