Hacker News new | ask | show | jobs
user: nwthiele
created: 2025-12-23
karma: 2

submissions:

0 points | 0 comments
0 points | 0 comments
Show HN: The Thiele Machine – Coq-Verified Computational Model Beyond Turing
9 points | 4 comments