A framework for smart contract verification in Coq (by AU-COBRA)

ConCert Alternatives

Similar projects and alternatives to ConCert based on common topics and language

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better ConCert alternative or higher similarity.

ConCert reviews and mentions

Posts with mentions or reviews of ConCert. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2021-06-23.


Basic ConCert repo stats
3 months ago

AU-COBRA/ConCert is an open source project licensed under MIT License which is an OSI approved license.

The primary programming language of ConCert is Coq.

SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives