AU-COBRA / ConCertLinks

A framework for smart contract verification in Coq
124Updated last month

Alternatives and similar repositories for ConCert

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

Sorting: