GitHub repository: leonardoalt/ethereum_formal_verification_overview
Created: 2019-01-22T17:46:38Z
Description: Overview of the formal verification projects in the Ethereum ecosystem.