danbriggs / Turing

Methods for accelerating and proving theorems about 5-state Busy Beaver candidates
19Updated 3 years ago

Alternatives and similar repositories for Turing:

Users that are interested in Turing are comparing it to the libraries listed below