model-checking/verify-rust-std

Stars

⭐ 342

PRs Reviewed

16

Bot Comments

80

Primary Language

Rust

Merge Rate

0.0%

Avg Time to Merge

—

Avg Additions

+952

Avg Deletions

-31

Avg Files Changed

2