leanprover-community/mathlib4

Stars

⭐ 3.2K

PRs Reviewed

55

Bot Comments

260

Primary Language

Lean

Merge Rate

0.0%

Avg Time to Merge

—

Avg Additions

+211

Avg Deletions

-41

Avg Files Changed

4