verus-lang/verus

Stars

⭐ 2.9K

PRs Reviewed

8

Bot Comments

23

Primary Language

Rust

Merge Rate

62.5%

Avg Time to Merge

2d

Avg Additions

+94

Avg Deletions

-15

Avg Files Changed

2