rocq-prover/opam

Stars

⭐ 176

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