Metatheory.jl: Fast and Elegant Algebraic Computation in Julia with Extensible Equality Saturation

Alessandro Cheli

We introduce Metatheory.jl: a lightweight and performant general purpose symbolics and metaprogramming framework meant to simplify the act of writing complex Julia metaprograms and…