search

AU-COBRA / ConCert

A framework for smart contract verification in Coq
MIT License
112 stars 18 forks source link

Misc fixes #239

Closed 4ever2 closed 8 months ago

4ever2 commented 8 months ago

Fix some formatting, TODOs and admitted proofs.