#
term
Here are 5 public repositories matching this topic...
Independent implementation of the pattern matching algorithms in Maude.
rust pattern-matching mathematics formal-methods maude unification term theorem-prover rewriting-system obj3
-
Updated
Sep 22, 2025 - Rust
Improve this page
Add a description, image, and links to the term topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the term topic, visit your repo's landing page and select "manage topics."