equiv.io is a tool for finding the best ways of equating / preordering / distinguishing finite process models.
-
Updated
Sep 5, 2026 - Scala
#
hennessy-milner-logic
Here is 1 public repository matching this topic...
Add this topic to your repo
To associate your repository with the hennessy-milner-logic topic, visit your repo's landing page and select "manage topics."