README.md 618 Bytes
Newer Older
Robbert Krebbers's avatar
Robbert Krebbers committed
1 2 3 4
# Prerequisites

This version is known to compile with:

5
 - Coq 8.6
Robbert Krebbers's avatar
Robbert Krebbers committed
6
 - Ssreflect 1.6
7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22
 - Autosubst branch [coq86-devel](https://github.com/uds-psl/autosubst/tree/coq86-devel)
 - std++ version [ee6200b4d74bfd06034f3cc36d1afdc309427e5c](https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp/tree/ee6200b4d74bfd06034f3cc36d1afdc309427e5c)
 - Iris version [398bae9d092b6568cf8d504ca98d8810979eea33](https://gitlab.mpi-sws.org/FP/iris-coq/tree/398bae9d092b6568cf8d504ca98d8810979eea33)

# Compilation

```
coq_makefile -f _CoqProject -o Makefile
make
```

# Documentation

See [refman.md](docs/refman.md).

Work in progress.