Verse
A domain specific language in coq used to write low-level cryptographic primitives.
Configuring and installing
./configure.sh
make
Building with multiple coq-versions
You need opam
for building and testing the source code for multiple
versions of coq. You need to set the the environment variable $COQ_VER
and run the script ./scripts/opam-build.sh
. Here is an example.
COQ_VER=8.6 ./scripts/opam-build.sh build # compile all the coq files
COQ_VER=8.6 ./scripts/opam-build.sh html # build html documentation