2tbmz9y2xt-lang/rubin-formal

Stars

⭐ 1

PRs Reviewed

70

Bot Comments

158

Primary Language

Lean

Merge Rate

85.7%

Avg Time to Merge

54m

Avg Additions

+334

Avg Deletions

-64

Avg Files Changed

5