top | item 46583986 (no title) hayley-patton | 1 month ago > If you can't falsify it, you have to take it seriously.No, I don't. discuss order hn newest nwthiele|1 month 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)
nwthiele|1 month 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)
nwthiele|1 month ago