tokenlibs-with-proofs
Correctness proofs of Ethereum token contracts
98 stars
15 watching
23 forks
Language: Coq
last commit: over 5 years ago
Linked from 2 awesome lists
coqerc20formal-verificationprooftoken
Correctness proofs of Ethereum token contracts