← Back to repositories
tlaplus

tlaplus/Examples

github.com/tlaplus/Examples ↗
TLA

Stars

⭐ 1.5K

PRs Reviewed

7

Bot Comments

26

Primary Language

TLA

Merge Rate

71.4%

Avg Time to Merge

4d

Avg Additions

+289

Avg Deletions

-42

Avg Files Changed

5

AI Review Products#

AI code review products active on this repository.

GitHub CopilotGitHub Copilot
7 PRs10 events
tlaplus/Examples — AI Code Review Activity — Code Review Trends