Commit 3cba812b authored by Guillaume Melquiond's avatar Guillaume Melquiond

Fix outdated reference to Coq version.

parent a0aeac61
...@@ -4,7 +4,7 @@ Installation instructions ...@@ -4,7 +4,7 @@ Installation instructions
Prerequisites Prerequisites
------------- -------------
You will need the [Coq proof assistant](https://coq.inria.fr/) (>= 8.4) You will need the [Coq proof assistant](https://coq.inria.fr/) (>= 8.7)
with the `Reals` theory compiled in. with the `Reals` theory compiled in.
The `.tar.gz` file is distributed with a working set of configure files. They The `.tar.gz` file is distributed with a working set of configure files. They
......
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