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