GitHub repository: sorear/metamath-turing-machines
Primary language: Tcl
Created: 2016-05-07T22:03:45Z
Description: metamath proof enumerators and other things