ConCert

A framework for smart contract verification in Coq (by AU-COBRA)
Suggest topics
Source Code
Suggest alternative | Edit details

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

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
    reddit.com/r/rust | 2021-06-23
    Bas Spitter will be speaking on Hacspec and ConCert

Stats

Basic ConCert repo stats
1
31
7.8
7 days ago

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