Tools for finding Busy Beaver Turing Machines and Proving others as non-haltinggithub.com/sligocki1 pointfrozenseven6 months ago