joshrule/term-rewriting-rs

a Rust implementation of first-order term rewriting systems (TRS)

语言：Rust · GitHub 星标：29 · Fork：5

话题：rewriting · rust · rust-library · term-rewriting

在 GitHub 上查看原仓库