https://github.com/AU-COBRA/ConCert
Coq98
6 months ago
A framework for smart contract verification in Coq
MIT License