church-turing-thesis

Here are 2 public repositories matching this topic...

sethirus / The-Thiele-Machine

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.

python computer-science information-theory computational-geometry formal-methods turing-machine software-verification epistemology z3-smt-solver computer-science-theory proof-complexity thiele-machine sight-debt philosophy-of-computation church-turing-thesis

Updated Sep 20, 2026
OCaml

jessealama / cslib-urm

Sponsor

Star

Lean 4 formalization of Unlimited Register Machines for CSLib

formalization theoretical-computer-science register-machine mathlib cslib computability lean4 church-turing-thesis

Updated Jan 25, 2026
Lean

Add this topic to your repo

To associate your repository with the church-turing-thesis topic, visit your repo's landing page and select "manage topics."

Learn more