search

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.
https://juliasymbolics.github.io/Metatheory.jl/dev/
MIT License
362 stars 47 forks source link

Automatic JuliaFormatter.jl run #129

Closed github-actions[bot] closed 2 years ago

github-actions[bot] commented 2 years ago

Automated changes by create-pull-request GitHub action