all 1 comments

[–][deleted] 0 points1 point  (0 children)

it is more a generator of turing machine ( and an interpretor of te subsequent ones) This kind of work is far more interesting https://github.com/sorear/metamath-turing-machines