← Back to repositories

Axiomatic-AI/ax-prover-base

github.com/Axiomatic-AI/ax-prover-base ↗

Python

Stars

⭐ 46

PRs Reviewed

1

Bot Comments

3

Primary Language

Python

Merge Rate

0.0%

Avg Time to Merge

—

Avg Additions

+246

Avg Deletions

-172

Avg Files Changed

8

AI Review Products#

AI code review products active on this repository.