R

Rodin Event-B AST

Standalone version of the Rodin Event-B parser and AST, published to Maven Central