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

ConCert Alternatives

Similar projects and alternatives to ConCert

  • GitHub repo hacspec

    A specification language for cryptography primitives.

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

Suggest an alternative to ConCert


Posts where ConCert has been mentioned. We have used some of these posts to build our list of alternatives and similar projects - the last one was on 2021-06-23.
  • Rustlang Cryptography Interest Group & Formal Verification Sync-up Call 2 | 2021-06-23
    Bas Spitter will be speaking on Hacspec and ConCert


Basic ConCert repo stats
7 days ago

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