Show HN: The Thiele Machine – Coq-Verified Computational Model Beyond Turinggithub.com·9 pts·nwthiele·4