A Lean Proof Printing Python Union Find 0 ▲ Hey There Buddo! 1 hour ago · Tech · hide · 0 comments It is somewhat strange, but I haven’t really spent much time working on proof production or recording out of egraphs. No comments yet. Log in to reply on the Fediverse. Comments will appear here.
