GitHub repository: AlgebraicJulia/AlgebraicRewriting.jl
Primary language: Julia
Created: 2022-06-24T17:11:08Z
Description: Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.