← Back to repositories

tlaplus/Examples

github.com/tlaplus/Examples ↗

TLA

Stars

⭐ 1.6K

PRs Reviewed

8

Bot Comments

26

Primary Language

TLA

Merge Rate

75.0%

Avg Time to Merge

4d

Avg Additions

+407

Avg Deletions

-67

Avg Files Changed

6

AI Review Products#

AI code review products active on this repository.