package rocq-concert-examples
A framework for smart contract verification in Rocq
Install
Dune Dependency
Authors
Maintainers
Sources
v1.0.0.tar.gz
sha512=ab128a4dc0024ac19154dfa5bf6b16708464b4fb40b43fe26462c8ea323629e1dde569dfb63c30976d70a2741ae3d411d36315fec92c29c62a43ae97a8b793e0
Description
A framework for smart contract verification in Rocq
Published: 10 Mar 2026
On This Page