leonardoalt/ethereum_formal_verification_overview

January 24, 2019 - 11:30pm

⭐️ leonardoalt/ethereum_formal_verification_overview Overview of the formal verification projects in the Ethereum ecosystem.

LINK: https://github.com/leonardoalt/ethereum_formal_verification_overview