#coqverification — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #coqverification, aggregated by home.social.
-
The Thiele Machine – Coq-Verified Computational Model Beyond Turing
https://github.com/sethirus/The-Thiele-Machine
#HackerNews #ThieleMachine #CoqVerification #ComputationalModels #BeyondTuring #HackerNews