AU-COBRA / ConCertLinks

A framework for smart contract verification in Coq
122Updated last week

Alternatives and similar repositories for ConCert

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

Sorting: