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