AlphaUncommon
pirapira/ethereum-formal-verification-overview
The start page about my efforts around smart contract verification
- Owner
- pirapira (personal account)
- Stars
- Stars: 295
- Forks
- Forks: 24
- Language
- No language
- License
- None
- Created
- 2016
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by pirapira
All 5 repos by pirapira- pirapira/awesome-ethereum-virtual-machineStars: 851Beta
- pirapira/bambooStars: 323OCamlAlpha
- pirapira/eth-isabelleStars: 245IsabellePrototype
- pirapira/coq2rustStars: 226OCamlPrototype