Certified State Reductions and Semantics of Conjecture-Checking Turing Machines

(github.com) by lairv | Oct 15, 2026 | 1 comments on HN