← Back to repositories

JasonGross/coq-tools

github.com/JasonGross/coq-tools ↗

Python

Stars

⭐ 48

PRs Reviewed

3

Bot Comments

3

Primary Language

Python

Merge Rate

66.7%

Avg Time to Merge

12d

Avg Additions

+312

Avg Deletions

-45

Avg Files Changed

41

AI Review Products#

AI code review products active on this repository.