model-checking/verify-rust-std

Stars

⭐ 336

PRs Reviewed

14

Bot Comments

70

Primary Language

Rust

Merge Rate

0.0%

Avg Time to Merge

—

Avg Additions

+1.1K

Avg Deletions

-36

Avg Files Changed

2