apalache-mc/apalache

Stars

⭐ 550

PRs Reviewed

6

Bot Comments

9

Primary Language

Scala

Merge Rate

83.3%

Avg Time to Merge

42h

Avg Additions

+177

Avg Deletions

-6

Avg Files Changed

4