search

AU-COBRA / ConCert

A framework for smart contract verification in Coq
MIT License
114 stars 19 forks source link

Update readme #196

Closed 4ever2 closed 2 years ago

4ever2 commented 2 years ago

Minor updates and fixes to the readme.