← Back to repositories

rocq-prover/opam

github.com/rocq-prover/opam ↗

OCaml

Stars

⭐ 171

PRs Reviewed

1

Bot Comments

1

Primary Language

OCaml

Merge Rate

100.0%

Avg Time to Merge

10h

Avg Additions

+26

Avg Deletions

-0

Avg Files Changed

1

AI Review Products#

AI code review products active on this repository.