Automated Category Theory Reasoning with Metatheory.jl and Egraphs #1 Post by 0x0f0f0f » Fri, Mar 12, 2021, 9:59 AM UTC Automated Category Theory Reasoning with Metatheory.jl and Egraphsphilipzucker.com