Reading Proof Objects and Completed Rewrite Systems from eprover into Knuckledragger

Automated reasoning is fun.