← Back to repositories

hyperpolymath/absolute-zero

github.com/hyperpolymath/absolute-zero ↗

Rocq Prover

Stars

⭐ 2

PRs Reviewed

3

Bot Comments

2

Primary Language

Rocq Prover

Merge Rate

66.7%

Avg Time to Merge

18h

Avg Additions

+4

Avg Deletions

-4

Avg Files Changed

1

AI Review Products#

AI code review products active on this repository.