Show HN: The Thiele Machine – Coq-Verified Computational Model Beyond Turing (github.com) 9 pts|1 month ago|4 comments
