C

ConCert

A framework for smart contract verification in Coq

Mirrored from https://*****@github.com/AU-COBRA/ConCert.git.
Updated .