tlaplus/tlaplus

Stars

⭐ 3.1K

PRs Reviewed

72

Bot Comments

251

Primary Language

Java

Merge Rate

70.8%

Avg Time to Merge

12d

Avg Additions

+699

Avg Deletions

-82

Avg Files Changed

14