Consensys / eth2.0-dafny

RepositoryStats indexes 566,921 repositories, of these Consensys/eth2.0-dafny is ranked #354,492 (37th percentile) for total stargazers, and #80,878 for total watchers. Github reports the primary language for this repository as Dafny, for repositories using this language it is ranked #3/6.

Consensys/eth2.0-dafny has 1 open pull request on Github, 6 pull requests have been merged over the lifetime of the repository.

Github issues are enabled, there are 5 open issues and 45 closed issues.

There have been 2 releases, the latest one was published on 2021-08-04 (3 years ago) with the name First release of the formal verification of Eth2.0 specs.