AU-COBRA / ConCertLinks

A framework for smart contract verification in Coq
119Updated 3 weeks ago

Alternatives and similar repositories for ConCert

Users that are interested in ConCert are comparing it to the libraries listed below

Sorting: