Commit 9c389c3c authored by Jakob Botsch Nielsen's avatar Jakob Botsch Nielsen
Browse files

Simplify README slightly

parent 11a302b2
Pipeline #11036 passed with stage
in 4 minutes and 48 seconds
......@@ -4,10 +4,10 @@ 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](https://github.com/coq-contribs/containers)
and install it with
installed first. For Coq 8.9 follow the following steps:
```bash
git clone https://github.com/coq-contribs/containers
cd containers
make -j
make -f Makefile.coq install
......
Markdown is supported
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