#event-b

rossi

Event-B language support: syntax highlighting, diagnostics, formatting, navigation, and Rodin import/export, powered by the Rossi toolchain.