Progress on Automated Reasoning for Catlab with Metatheory.jl Egraphsphilipzucker.com1 pointphilzook5 years ago