Loading…
ConCert is a framework for smart contract verification built on the Coq proof assistant. It relies on Coq 8.20 and MetaCoq, uses QuickChick for tests, and is installed and built via opam. The project aims to detect real-world attacks and provides papers and documentation detailing its development and build process.
We haven’t found ConCert in the AI answers we’ve checked.
