November 30, 2025
XTK: A Symbolic Expression Toolkit for Term Rewriting
A Python library for rule-based term rewriting with pattern matching, multiple input formats, and an interactive REPL.
REPL
Browse posts by tag
Browse posts by tag
A Python library for rule-based term rewriting with pattern matching, multiple input formats, and an interactive REPL.