Show HN: The Thiele Machine – Coq-Verified Computational Model Beyond Turinggithub.com
9 points by nwthiele 4 days ago | 3 comments