package rocq-concert-examples

Overview
Doc

You can search for identifiers within the package.

in-package search v0.2.0

A framework for smart contract verification in Rocq

Install

Dune Dependency

github.com Edit opam file Versions (1)

Authors

T

The COBRA team

Maintainers

D

Danil Annenkov <danil.v.annenkov@gmail.com>

Sources

sha512=ab128a4dc0024ac19154dfa5bf6b16708464b4fb40b43fe26462c8ea323629e1dde569dfb63c30976d70a2741ae3d411d36315fec92c29c62a43ae97a8b793e0

Description

A framework for smart contract verification in Rocq

Published: 10 Mar 2026

Dependencies (1)

rocq-concert = version

Dev Dependencies

None

Used by

None

Conflicts

None

On This Page

Description
Dependencies (1)
Dev Dependencies
Used by
Conflicts