search

AU-COBRA / ConCert

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

Refactor and fixes #206

Closed 4ever2 closed 1 year ago