Ethereumjs Monorepo | Ethereum Formal Verification Overview | |
---|---|---|
Stars | 2,473 | 269 |
Downloads | ||
Dependent Packages | 3,256 | |
Dependent Repos | 5,333 | |
Most Recent Commit | a month ago | 4 years ago |
Total Releases | 85 | |
Latest Release | June 03, 2022 | |
Open Issues | 147 | |
License | ||
Programming Language | TypeScript |