These are chat archives for pjt33/metamath-turing-machines
Click on a coloured date box to view message archives for a given day.
metamath proof enumerators and other things