Automated Category Theory Reasoning with Metatheory.jl and Egraphsphilipzucker.com7 points0x0f0f0f5 years ago