AU-COBRA / ConCertLinks

A framework for smart contract verification in Coq
119Updated this week

Alternatives and similar repositories for ConCert

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

Sorting: