tlaplus/tlaplus

Stars

⭐ 3.0K

PRs Reviewed

71

Bot Comments

251

Primary Language

Java

Merge Rate

71.8%

Avg Time to Merge

12d

Avg Additions

+708

Avg Deletions

-83

Avg Files Changed

14