← Back to repositories

mit-pdos/pav

github.com/mit-pdos/pav ↗

Rocq Prover

Stars

⭐ 2

PRs Reviewed

1

Bot Comments

2

Primary Language

Rocq Prover

Merge Rate

100.0%

Avg Time to Merge

14d

Avg Additions

+2.5K

Avg Deletions

-3.1K

Avg Files Changed

56

AI Review Products#

AI code review products active on this repository.