ESRogs/sat-game

Stars

⭐ 0

PRs Reviewed

6

Bot Comments

0

Primary Language

Lean

Merge Rate

83.3%

Avg Time to Merge

5h

Avg Additions

+519

Avg Deletions

-6

Avg Files Changed

6