Loreon
Labs
Platform
Docs
Home
Ecosystems
Tcl
metamath-turing-machines
metamath proof enumerators and other things
Tcl
Emerging
GitHub
Stars
98
Forks
14
Contributors
2
Last push
7mo ago
Recent commits
Latest commits.
Machine: 2016-riemann-matiyasevich-aaronson
0b8032c
Stefan O'Rear
8mo ago
Machine: 2016-riemann-pjt33-924
f60ad3a
Stefan O'Rear
8mo ago
Machine: 2016-riemann-yedidia-1008
ba107bb
Stefan O'Rear
8mo ago
Machine: 2016-goldbach-yedidia-432
27a38ee
Stefan O'Rear
8mo ago
Machine: 2016-zf-pjt33-1879
2488ef8
Stefan O'Rear
8mo ago
Merge remote-tracking branch 'pjt33/zf-unpair-alias'
e659f9a
Stefan O'Rear
8mo ago
Merge remote-tracking branch 'ajwade-gh/patch-1'
c08c555
Stefan O'Rear
8mo ago
Promote squaresaresmall to a regression test
40ca95c
Stefan O'Rear
8mo ago
Top contributors
Builders behind this project.
sorear
77 commits
andrew-j-wade
1 commits
