#

obj3

Here is 1 public repository matching this topic...

rljacobson / mod2

Independent implementation of the pattern matching algorithms in Maude.

rust pattern-matching mathematics formal-methods maude unification term theorem-prover rewriting-system obj3

Updated Jun 1, 2025
Rust

Improve this page

Add a description, image, and links to the obj3 topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the obj3 topic, visit your repo's landing page and select "manage topics."