Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
1.
▲
Show HN: The Thiele Machine – Coq-Verified Computational Model Beyond Turing
(github.com/sethirus)
9 points
nwthiele
5 months ago
4 comments
2.
▲
The Thiele Machine: A Formal Proof of a New Computational Model
(github.com/sethirus)
2 points
ThieleMachine
9 months ago
2 comments