https://github.com/algebraicjulia/algebraicrewriting.jl • Rank 6.2 • Science 46%

Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.