ConCert

ConCert

https://github.com/AU-COBRA/ConCert

Coq114

2 months ago

Reviews

A framework for smart contract verification in Coq

Search similar apps

License

MIT License

Share

A framework for smart contract verification in Coq

Creator

AU-COBRA

Related apps