Explore projects
-
Standalone version of the Rodin Event-B parser and AST, published to Maven Central
UpdatedUpdated -
general / dsml / RECORD - public
Apache License 2.0Updated -
Updated
-
Updated
-
Updated
Standalone version of the Rodin Event-B parser and AST, published to Maven Central