Commit 6575d643 authored by Jakob Botsch Nielsen's avatar Jakob Botsch Nielsen
Browse files

Add a

parent eda9cff7
Pipeline #10838 failed with stage
in 4 minutes and 18 seconds
# Smart Contracts
This repo is a playground for various experiments with embedding Oak contracts
into Coq and verifying them.
## Building/Developing
This repo uses the coq-containers library by Stéphane Lescuyer. This must be
installed first. For Coq 8.9 clone [the repo](
and install it with
make -j
make -f Makefile.coq install
For other versions of Coq you will need to use an appropriate tag of this repo.
See [.gitlab-ci.yml](.gitlab-ci.yml) for how the CI builds with older versions
of Coq.
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment