Automated Category Theory Reasoning with Metatheory.jl and Egraphs(philipzucker.com)
philipzucker.com
Automated Category Theory Reasoning with Metatheory.jl and Egraphs
https://www.philipzucker.com/metatheory-progress/
0 comments
—
https://www.philipzucker.com/metatheory-progress/
—