/ConCert

A framework for smart contract verification in Coq

Primary LanguageCoqMIT LicenseMIT

Stargazers