metamath-turing-machines
metamath-turing-machines copied to clipboard
643 states