thefundamentaltheor3m/Sphere-Packing-Lean

Stars

⭐ 93

PRs Reviewed

3

Bot Comments

4

Primary Language

Lean

Merge Rate

66.7%

Avg Time to Merge

12d

Avg Additions

+192

Avg Deletions

-39

Avg Files Changed

4