Reading Proof Objects and Completed Rewrite Systems from eprover into Knuckledragger 0 ▲ Hey There Buddo! 2 days ago · Tech · 0 comments Automated reasoning is fun. No comments yet. Log in to reply on the Fediverse. Comments will appear here.
No comments yet. Log in to reply on the Fediverse. Comments will appear here.