5/17/2026
•
EN
Reading Proof Objects and Completed Rewrite Systems from eprover into Knuckledragger
Using eprover's Knuth-Bendix completion to generate rewrite systems and integrating them with Knuckledragger via Prolog.