Skip to content

Adding proof for ERC20 & Fix simple.sol and variables.sol translation

Daniel Hilst requested to merge erc20-proofs into master

Merge request reports