leanprover-community/mathlib4

Stars

⭐ 4.4K

PRs Reviewed

61

Bot Comments

265

Primary Language

Lean

Merge Rate

0.0%

Avg Time to Merge

—

Avg Additions

+220

Avg Deletions

-37

Avg Files Changed

4