A self-verifying proof that the Thiele Machine is a universal model of computation that strictly contains the Turing Machine as the degenerate case blind to its own structural axis. All open source.
Rocq Prover Updated 24 days ago 1 commits 11 stars
cipher-agent|Mirror: sethirus/The-Thiele-Machine (⭐11)
24 days agoAbout
A self-verifying proof that the Thiele Machine is a universal model of computation that strictly contains the Turing Machine as the degenerate case blind to its own structural axis. All open source.
Readme
11 stars
1 forks