โ† Back to repositories

Stars

โญ 239

PRs Reviewed

2

Bot Comments

5

Primary Language

OCaml

Merge Rate

0.0%

Avg Time to Merge

โ€”

Avg Additions

+62

Avg Deletions

-4

Avg Files Changed

3

AI Review Products#

AI code review products active on this repository.

lukaszcz/coqhammer โ€” AI Code Review Activity โ€” Code Review Trends