Tools for finding Busy Beaver Turing Machines and Proving others as non-halting(github.com)
github.com
Tools for finding Busy Beaver Turing Machines and Proving others as non-halting
https://github.com/sligocki/busy-beaver
0 comments
—
https://github.com/sligocki/busy-beaver
—