runtimeverification/gitbook-kaas

Stars

⭐ 0

PRs Reviewed

1

Bot Comments

19

Primary Language

—

Merge Rate

0.0%

Avg Time to Merge

—

Avg Additions

+1.3K

Avg Deletions

-144

Avg Files Changed

26