verified-smart-contracts
Smart contracts which are formally verified
716 stars
50 watching
133 forks
Language: Solidity
last commit: about 2 years ago
Linked from 1 awesome list
verified-smart-contracts Smart contracts which are formally verified
kareniel/awesome-evm-security