AlgebraicJulia/AlgebraicRewriting.jl

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

语言：Julia · GitHub 星标：41 · Fork：10

话题：category-theory · declarative-programming · rewrite-systems

在 GitHub 上查看原仓库