runtimeverification/k

Stars

⭐ 565

PRs Reviewed

6

Bot Comments

0

Primary Language

Python

Merge Rate

100.0%

Avg Time to Merge

9d

Avg Additions

+56

Avg Deletions

-424

Avg Files Changed

13