Ethereum_formal_verification_overview vs Openzeppelin Contracts
| Openzeppelin Contracts | Ethereum_formal_verification_overview | |
|---|---|---|
| Stars | 24,136 | 288 |
| Downloads |  | |
| Dependent Packages | 2,941 | |
| Dependent Repos | 51 | |
| Most Recent Commit | 5 days ago | 5 months ago |
| Total Releases | 81 | |
| Latest Release | December 08, 2023 | |
| Open Issues | 217 | 2 |
| License | mit | gpl-3.0 |
| Programming Language | JavaScript |