TonyP4N/eth2.0-dafny

Stars

⭐ 1

PRs Reviewed

1

Bot Comments

20

Primary Language

Dafny

Merge Rate

100.0%

Avg Time to Merge

12m

Avg Additions

+128

Avg Deletions

-146

Avg Files Changed

3