├── .gitignore ├── LICENSE ├── README.md ├── compiler ├── framework.py ├── nqlaconic.py ├── nqlast.py └── nqlgrammar.py ├── machines ├── 2016-goldbach-yedidia-432 │ ├── goldbach.nql │ ├── goldbach.subs │ └── goldbach.tm ├── 2016-riemann-matiyasevich-aaronson-744 │ ├── riemann.nql │ ├── riemann.subs │ └── riemann.tm ├── 2016-riemann-pjt33-924 │ ├── riemann.nql │ ├── riemann.subs │ └── riemann.tm ├── 2016-riemann-yedidia-1008 │ ├── riemann.nql │ ├── riemann.subs │ └── riemann.tm ├── 2016-zf-pjt33-1879 │ ├── zf.nql │ ├── zf.subs │ └── zf.tm ├── 2016-zf-sorear-1919 │ ├── zf.nql │ ├── zf.subs │ └── zf.tm ├── 2017-zf-sorear-748 │ ├── zf2.nql │ ├── zf2.subs │ └── zf2.tm └── squaresaresmall │ ├── squaresaresmall.nql │ ├── squaresaresmall.subs │ └── squaresaresmall.tm └── misc ├── pairtest.nql ├── regress └── zfgen.py /.gitignore: -------------------------------------------------------------------------------- 1 | __pycache__ -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sorear/metamath-turing-machines/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sorear/metamath-turing-machines/HEAD/README.md -------------------------------------------------------------------------------- /compiler/framework.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sorear/metamath-turing-machines/HEAD/compiler/framework.py -------------------------------------------------------------------------------- /compiler/nqlaconic.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sorear/metamath-turing-machines/HEAD/compiler/nqlaconic.py -------------------------------------------------------------------------------- /compiler/nqlast.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sorear/metamath-turing-machines/HEAD/compiler/nqlast.py -------------------------------------------------------------------------------- /compiler/nqlgrammar.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sorear/metamath-turing-machines/HEAD/compiler/nqlgrammar.py -------------------------------------------------------------------------------- /machines/2016-goldbach-yedidia-432/goldbach.nql: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sorear/metamath-turing-machines/HEAD/machines/2016-goldbach-yedidia-432/goldbach.nql -------------------------------------------------------------------------------- /machines/2016-goldbach-yedidia-432/goldbach.subs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sorear/metamath-turing-machines/HEAD/machines/2016-goldbach-yedidia-432/goldbach.subs -------------------------------------------------------------------------------- /machines/2016-goldbach-yedidia-432/goldbach.tm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sorear/metamath-turing-machines/HEAD/machines/2016-goldbach-yedidia-432/goldbach.tm -------------------------------------------------------------------------------- /machines/2016-riemann-matiyasevich-aaronson-744/riemann.nql: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sorear/metamath-turing-machines/HEAD/machines/2016-riemann-matiyasevich-aaronson-744/riemann.nql -------------------------------------------------------------------------------- /machines/2016-riemann-matiyasevich-aaronson-744/riemann.subs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sorear/metamath-turing-machines/HEAD/machines/2016-riemann-matiyasevich-aaronson-744/riemann.subs -------------------------------------------------------------------------------- /machines/2016-riemann-matiyasevich-aaronson-744/riemann.tm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sorear/metamath-turing-machines/HEAD/machines/2016-riemann-matiyasevich-aaronson-744/riemann.tm -------------------------------------------------------------------------------- /machines/2016-riemann-pjt33-924/riemann.nql: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sorear/metamath-turing-machines/HEAD/machines/2016-riemann-pjt33-924/riemann.nql -------------------------------------------------------------------------------- /machines/2016-riemann-pjt33-924/riemann.subs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sorear/metamath-turing-machines/HEAD/machines/2016-riemann-pjt33-924/riemann.subs -------------------------------------------------------------------------------- /machines/2016-riemann-pjt33-924/riemann.tm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sorear/metamath-turing-machines/HEAD/machines/2016-riemann-pjt33-924/riemann.tm -------------------------------------------------------------------------------- /machines/2016-riemann-yedidia-1008/riemann.nql: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sorear/metamath-turing-machines/HEAD/machines/2016-riemann-yedidia-1008/riemann.nql -------------------------------------------------------------------------------- /machines/2016-riemann-yedidia-1008/riemann.subs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sorear/metamath-turing-machines/HEAD/machines/2016-riemann-yedidia-1008/riemann.subs -------------------------------------------------------------------------------- /machines/2016-riemann-yedidia-1008/riemann.tm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sorear/metamath-turing-machines/HEAD/machines/2016-riemann-yedidia-1008/riemann.tm -------------------------------------------------------------------------------- /machines/2016-zf-pjt33-1879/zf.nql: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sorear/metamath-turing-machines/HEAD/machines/2016-zf-pjt33-1879/zf.nql -------------------------------------------------------------------------------- /machines/2016-zf-pjt33-1879/zf.subs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sorear/metamath-turing-machines/HEAD/machines/2016-zf-pjt33-1879/zf.subs -------------------------------------------------------------------------------- /machines/2016-zf-pjt33-1879/zf.tm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sorear/metamath-turing-machines/HEAD/machines/2016-zf-pjt33-1879/zf.tm -------------------------------------------------------------------------------- /machines/2016-zf-sorear-1919/zf.nql: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sorear/metamath-turing-machines/HEAD/machines/2016-zf-sorear-1919/zf.nql -------------------------------------------------------------------------------- /machines/2016-zf-sorear-1919/zf.subs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sorear/metamath-turing-machines/HEAD/machines/2016-zf-sorear-1919/zf.subs -------------------------------------------------------------------------------- /machines/2016-zf-sorear-1919/zf.tm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sorear/metamath-turing-machines/HEAD/machines/2016-zf-sorear-1919/zf.tm -------------------------------------------------------------------------------- /machines/2017-zf-sorear-748/zf2.nql: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sorear/metamath-turing-machines/HEAD/machines/2017-zf-sorear-748/zf2.nql -------------------------------------------------------------------------------- /machines/2017-zf-sorear-748/zf2.subs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sorear/metamath-turing-machines/HEAD/machines/2017-zf-sorear-748/zf2.subs -------------------------------------------------------------------------------- /machines/2017-zf-sorear-748/zf2.tm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sorear/metamath-turing-machines/HEAD/machines/2017-zf-sorear-748/zf2.tm -------------------------------------------------------------------------------- /machines/squaresaresmall/squaresaresmall.nql: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sorear/metamath-turing-machines/HEAD/machines/squaresaresmall/squaresaresmall.nql -------------------------------------------------------------------------------- /machines/squaresaresmall/squaresaresmall.subs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sorear/metamath-turing-machines/HEAD/machines/squaresaresmall/squaresaresmall.subs -------------------------------------------------------------------------------- /machines/squaresaresmall/squaresaresmall.tm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sorear/metamath-turing-machines/HEAD/machines/squaresaresmall/squaresaresmall.tm -------------------------------------------------------------------------------- /misc/pairtest.nql: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sorear/metamath-turing-machines/HEAD/misc/pairtest.nql -------------------------------------------------------------------------------- /misc/regress: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sorear/metamath-turing-machines/HEAD/misc/regress -------------------------------------------------------------------------------- /misc/zfgen.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sorear/metamath-turing-machines/HEAD/misc/zfgen.py --------------------------------------------------------------------------------