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

This version is known to compile with:

Dan Frumin's avatar
Dan Frumin committed
5
 - Coq 8.6.1
Robbert Krebbers's avatar
Robbert Krebbers committed
6
 - Ssreflect 1.6
7
 - Autosubst branch [coq86-devel](https://github.com/uds-psl/autosubst/tree/coq86-devel)
Dan Frumin's avatar
Dan Frumin committed
8 9
 - std++ version [fa6ff9d18aefb29e839e815aa170262d330bd108](https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp/tree/fa6ff9d18aefb29e839e815aa170262d330bd108)
 - Iris version [d85fdb0ea89edebcd10056e073ab9c7edc6c2050](https://gitlab.mpi-sws.org/FP/iris-coq/tree/d85fdb0ea89edebcd10056e073ab9c7edc6c2050)
10 11 12

# Compilation

Dan Frumin's avatar
Dan Frumin committed
13
Make sure that all the dependencies are installed and run `make`.
14 15 16 17 18 19

# Documentation

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

Work in progress.