12 ms·Progress on Automated Reasoning for Catlab with Metatheory.jl Egraphs1 points by philzook 6y ago