| Tag: rewriting-systems 1 packages with this tag | ||
| « Back to VersTracker | All Categories | All Tags | Related: algebraic-specification formal-verification programming-languages mathematics | ||
| Package | Description | Version |
|---|---|---|
| cafeobj ☆ formula | New generation algebraic specification and programming language | 1.6.2 |