Commit c0a576e

committed

proof: beginning of fixes for the ERC-20 proof

1 parent 2e0d08e commit c0a576eCopy full SHA for c0a576e

2 files changed

+114

-118

lines changed

CoqOfRust/examples/default/examples/ink_contracts
- proofs
  - erc20.v
- simulations
  - erc20.v

+114

-118

lines changed

Comments

(0)