Use Python 3.9. Currently very experimental. Has frontends for the Turing machines outputted by Laconic and NQL's respective compilers. See https://github.com/adamyedidia/parsimony and https://github.com/sorear/metamath-turing-machines.
Use Python 3.9. Currently very experimental. Has frontends for the Turing machines outputted by Laconic and NQL's respective compilers. See https://github.com/adamyedidia/parsimony and https://github.com/sorear/metamath-turing-machines.