← Back to repositories

hyperpolymath/proof-burrower

github.com/hyperpolymath/proof-burrower ↗

OCaml

Stars

⭐ 1

PRs Reviewed

3

Bot Comments

13

Primary Language

OCaml

Merge Rate

0.0%

Avg Time to Merge

—

Avg Additions

+732

Avg Deletions

-252

Avg Files Changed

39

AI Review Products#

AI code review products active on this repository.