GitHub repository: suhabe/k-distributed
Primary language: Rust
Description: A batch processing system to distribute K-prover job over a cluster