leanprover-community/mathlib4

Stars

⭐ 3.5K

PRs Reviewed

57

Bot Comments

264

Primary Language

Lean

Merge Rate

0.0%

Avg Time to Merge

—

Avg Additions

+230

Avg Deletions

-40

Avg Files Changed

4