GitHub repository: leonardoalt/solidity_proofs
Primary language: Python
Created: 2019-05-06T10:56:35Z
Description: Proofs for Solidity's optimization rules