G github.com Certified State Reductions and Semantics of Conjecture-Checking Turing Machines 1 points lairv 17 days ago 1 comments
