GitHub repository: os-checker/distributed-verification
Primary language: Rust
Created: 2025-04-07T16:03:32Z
Description: Distributed and resource-efficient verification for verify-rust-std