{"type": "article", "title": "Reading Proof Objects and Completed Rewrite Systems from eprover into Knuckledragger", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/reading-proof-objects-and-completed-rewrite-systems-from-eprover-into", "original_source": "https://www.philipzucker.com/proof_processing/", "published": "2026-05-17T00:00:00+00:00", "accessed": "2026-07-29", "id": "reading-proof-objects-and-completed-rewrite-systems-from-eprover-into"}