← Back to repositories

Project-Navi/cd-formalization

github.com/Project-Navi/cd-formalization ↗

Lean

Stars

⭐ 2

PRs Reviewed

1

Bot Comments

0

Primary Language

Lean

Merge Rate

100.0%

Avg Time to Merge

18m

Avg Additions

+19

Avg Deletions

-39

Avg Files Changed

5

AI Review Products#

AI code review products active on this repository.