Hacker NewsThe Thiele Machine – Coq-Verified Computational Model Beyond Turing
https://github.com/sethirus/The-Thiele-Machine
#HackerNews #ThieleMachine #CoqVerification #ComputationalModels #BeyondTuring #HackerNews
GitHub - sethirus/The-Thiele-Machine: A self-verifying proof that the Thiele Machine is a universal model of computation which strictly contains the Turing Machine as a blind, special case. All open source.
A self-verifying proof that the Thiele Machine is a universal model of computation which strictly contains the Turing Machine as a blind, special case. All open source. - sethirus/The-Thiele-Machine