GitHub repository: mlaveaux/mCRL2-rust
Primary language: Rust
Created: 2023-02-17T10:41:55Z
Description: A rust wrapper for the library functionality of the mCRL2 toolset