sci-mathematics/rossi
Rust toolchain for Event-B: parser, static checker, CLI, and language server
Screenshots
-
rossi-0.2.0~amd64pgo test debug
View 
Download 
Browse License: || ( Apache-2.0 MIT ) Apache-2.0 Apache-2.0-with-LLVM-exceptions CC0-1.0 ISC MIT Unicode-3.0 ZLIB Overlay: eventb-rossi