HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
1.
▲
Rice’s Theorem: An interactive tutorial
busy-beavers.tigyog.app
168 comments
4 years ago
lispybanana
184 points
2.
▲
Proofs about Programs
busy-beavers.tigyog.app
22 comments
4 years ago
jdkee
58 points
3.
▲
Rice’s theorem – an interactive tutorial
busy-beavers.tigyog.app
discuss
4 years ago
jamesfisher
3 points
4.
▲
Proving programs halt: an interactive tutorial
busy-beavers.tigyog.app
discuss
4 years ago
jamesfisher
2 points