JuliaSymbolics / Metatheory.jl

Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.

Home Page:https://juliasymbolics.github.io/Metatheory.jl/dev/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

JuliaSymbolics/Metatheory.jl Stargazers