← Back to repositories

leanprover-community/batteries

github.com/leanprover-community/batteries ↗

Lean

Stars

⭐ 373

PRs Reviewed

1

Bot Comments

1

Primary Language

Lean

Merge Rate

100.0%

Avg Time to Merge

12d

Avg Additions

+1

Avg Deletions

-1

Avg Files Changed

1

AI Review Products#

AI code review products active on this repository.