Branch: master
Find file History
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
..
Failed to load latest commit information.
.build
ds-token
gno
hkg
hobby
vyper
zeppelin
README.md
abstract-semantics.k
module-tmpl.k
spec-tmpl.k
verification.k

README.md

Formally Verified ERC20 Token Contracts

This directory contains ERC20 token contracts that have been formally verified by Runtime Verification and/or collaborators.

Refer to the main README file for more details and the complete list of formally verified smart contracts.

List of Verified ERC20 Token Contracts

Resources

Disclaimer