GitHub repository: sligocki/busy-beaver
Primary language: Python
Created: 2019-08-22T15:07:37Z
Description: Tools for finding Busy Beaver Turing Machines and Proving others as non-halting