o314 / metatheory.jl Goto Github PK
View Code? Open in Web Editor NEWThis project forked from juliasymbolics/metatheory.jl
General purpose algebraic metaprogramming and symbolic computation library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.
Home Page: https://juliasymbolics.github.io/Metatheory.jl/dev/
License: MIT License