Certified State Reductions and Semantics of Conjecture-Checking Turing Machines

The project offers certified state reductions and semantics for conjecture‑checking Turing machines, enabling reliable prototype development. Adopt it by first