← Back to repositories

SSProve/ssprove

github.com/SSProve/ssprove ↗

Rocq Prover

Stars

⭐ 83

PRs Reviewed

1

Bot Comments

1

Primary Language

Rocq Prover

Merge Rate

100.0%

Avg Time to Merge

7d

Avg Additions

+736

Avg Deletions

-1.0K

Avg Files Changed

30

AI Review Products#

AI code review products active on this repository.