GitHub repository: k-usability/k-distributed
Primary language: Rust
Created: 2019-10-10T12:16:29Z
Description: A cluster for running formal verification jobs using the K Framework