Automated Category Theory Reasoning with Metatheory.jl and Egraphs Posted by 0x0f0f0f on Friday March 12, 2021 @04:59AM from the philipzucker.com dept. https://www.philipzucker.com/metatheory-progress/ ( no comments | 7 points | on HN )
There are no comments yet.