← Back to repositories

verus-lang/verus

github.com/verus-lang/verus ↗

Rust

Stars

⭐ 2.5K

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

AI Review Products#

AI code review products active on this repository.