Show HN: The Thiele Machine – Coq-Verified Computational Model Beyond Turing

(github.com) by nwthiele | Jan 12, 2026 | 0 comments on HN