← Back to repositories

ou-school-repos/program-arrangement-extraconnectivity

github.com/ou-school-repos/program-arrangement-extraconnectivity ↗

Lean

Stars

⭐ 0

PRs Reviewed

2

Bot Comments

101

Primary Language

Lean

Merge Rate

0.0%

Avg Time to Merge

—

Avg Additions

+9.9K

Avg Deletions

-1.4K

Avg Files Changed

76

AI Review Products#

AI code review products active on this repository.