Piggy bank smart contract improvements

AU-COBRA / ConCert

A framework for smart contract verification in Coq

MIT License

112 stars 18 forks source link

Closed 4ever2 closed 8 months ago

4ever2 commented 8 months ago

Some minor changes to the piggybank smart contract implementation and improved/additional proofs.