← All repos

pirapira/ethereum-formal-verification-overview

View on GitHub ↗ ★ 295

The start page about my efforts around smart contract verification

3 mentions on Hacker News by 3 people: 0 stories, 3 comments · first 2017-07-24 · latest 2018-02-20