← Back to repositories

sunblaze-ucb/verina

github.com/sunblaze-ucb/verina ↗

Lean

Stars

⭐ 73

PRs Reviewed

1

Bot Comments

9

Primary Language

Lean

Merge Rate

100.0%

Avg Time to Merge

18m

Avg Additions

+427

Avg Deletions

-2

Avg Files Changed

7

AI Review Products#

AI code review products active on this repository.