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