Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/sec-bit/tokenlibs-with-proofs
Correctness proofs of Ethereum token contracts
https://github.com/sec-bit/tokenlibs-with-proofs
coq erc20 formal-verification proof token
Last synced: 2 months ago
JSON representation
Correctness proofs of Ethereum token contracts
- Host: GitHub
- URL: https://github.com/sec-bit/tokenlibs-with-proofs
- Owner: sec-bit
- License: lgpl-3.0
- Created: 2018-07-06T07:55:31.000Z (almost 6 years ago)
- Default Branch: master
- Last Pushed: 2019-06-05T11:01:49.000Z (about 5 years ago)
- Last Synced: 2024-01-28T23:10:22.256Z (5 months ago)
- Topics: coq, erc20, formal-verification, proof, token
- Language: Coq
- Homepage:
- Size: 268 KB
- Stars: 98
- Watchers: 15
- Forks: 24
- Open Issues: 0
Lists
- awesome-solidity - Token Libraries with Proofs - Contains correctness proofs of token contracts wrt. given specifications and high-level properties (Libraries / Standard contracts)
- DeFi-Developer-Road-Map - Token Libraries with Proofs - Contains correctness proofs of token contracts wrt. given specifications and high-level properties (Roadmap)