pandaman64/lean-regex

Stars

⭐ 95

PRs Reviewed

3

Bot Comments

1

Primary Language

Lean

Merge Rate

100.0%

Avg Time to Merge

2d

Avg Additions

+1.7K

Avg Deletions

-1.5K

Avg Files Changed

32