/ConCert

A framework for smart contract verification in Coq

Primary LanguageCoqMIT LicenseMIT

Stargazers

No one’s star this repository yet.