adds halting proof, acknowedges page swapping
authorThomas Walker Lynch <eknp9n@reasoningtechnology.com>
Fri, 3 Jul 2026 09:48:22 +0000 (09:48 +0000)
committerThomas Walker Lynch <eknp9n@reasoningtechnology.com>
Fri, 3 Jul 2026 09:48:22 +0000 (09:48 +0000)
commit08f2bfc828383084a43530a5acecfa89bc855d31
tree25b88bacc315c7d0e93039df7f390b4bd3c7f921
parent108c5c4743538db76ee684adc9f23d0b1e6cf417
adds halting proof, acknowedges page swapping
document/TM-2026.html