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