P philipzucker.com Automated Category Theory Reasoning with Metatheory.jl and Egraphs 7 points 0x0f0f0f 5 years ago 0 comments
