← Back to repositories

mit-plv/fiat-crypto

github.com/mit-plv/fiat-crypto ↗

Rocq Prover

Stars

⭐ 821

PRs Reviewed

2

Bot Comments

0

Primary Language

Rocq Prover

Merge Rate

100.0%

Avg Time to Merge

3w

Avg Additions

+38

Avg Deletions

-20

Avg Files Changed

8

AI Review Products#

AI code review products active on this repository.