Certified State Reductions and Semantics of Conjecture-Checking Turing Machines
By lairv · 2026-10-15 · 1 points · 1 comments
https://github.com/google-deepmind/cryptids
By lairv · 1 points · 1 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews