Metatheory.jl
Metatheory.jl copied to clipboard
JuliaSymbolics
Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturation,...
Hello, After going through the Metatheory.jl documentation, there are a number of concepts that are novel and unfamilair to me, so I'm unable to discern if the package can do...
Hi, I'm the main dev over at [MethodOfLines.jl](https://github.com/SciML/MethodOfLines.jl), a symbolic Finite Difference PDE Discretizer built on Symbolics and SymbolicUtils. We're currently using SymbolicUtils for our rewrite rules, defining which differential...
It makes a lot more sense to have them as `jldoctest` and explained in a doc page.
https://github.com/nick8325/twee https://nick8325.github.io/twee/ https://www.tptp.org/ (problem sets). twee is based on knuth bendix. in our knuth bendix test EqSat already outperformed knuth bendix. After we have #111 we should compare MT and...
This pull request changes the compat entry for the `TermInterface` package from `0.3.3` to `0.3.3, 0.4`. This keeps the compat entries for earlier versions. Note: I have not tested your...
![github-actions[bot] avatar](https://avatars.githubusercontent.com/in/15368?v=4 "github-actions[bot] avatar"){kind=avatar}
Metadata
Owner
Metadata
Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturation,...