Progress on Automated Reasoning for Catlab with Metatheory.jl Egraphs

philipzucker.com