metamath-turing-machines
metamath-turing-machines copied to clipboard
Published
20 hours ago •
sorear
sorear
metamath proof enumerators and other things
Results
3
metamath-turing-machines issues
Sort by
recently updated
recently updated
newest added
This change fixes `unpair` in all of the alias situations which arise, and also saves a few states. Down to 1883, or 1879 with --no-cfg-optimize
There is this variable pc_bits which seems to be set to 50 by default (?) Does this mean that the maximum program counter value is limited?
