Generate another proof (using a different method; Coq?) of the proof? That's all...

		falcolas on Aug 1, 2017 \| parent \| context \| favorite \| on: 200 terabyte proof demonstrates the potential of b... Generate another proof (using a different method; Coq?) of the proof? That's all I can think of.