Automated Category Theory Reasoning with Metatheory.jl and Egraphsphilipzucker.com7 points·0x0f0f0f··0 commentsOpen articleSaveView on HN