sligocki/busy-beaver

Tools for finding Busy Beaver Turing Machines and Proving others as non-halting

1 best points · 0 comments · 1 Hacker News post · 51 GitHub stars · View on GitHub

Hacker News discussions