← Back to repositories

l-adic/snarky

github.com/l-adic/snarky ↗

Lean

Stars

⭐ 4

PRs Reviewed

9

Bot Comments

14

Primary Language

Lean

Merge Rate

77.8%

Avg Time to Merge

13h

Avg Additions

+16.4K

Avg Deletions

-1.9K

Avg Files Changed

32

AI Review Products#

AI code review products active on this repository.