diff options
| author | Chantal Keller <Chantal.Keller@inria.fr> | 2020-06-05 17:41:58 +0200 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@inria.fr> | 2020-06-05 17:41:58 +0200 |
| commit | be601b893a5d87f557467da9ebdad679c127af29 (patch) | |
| tree | 7136f7deda8c86f538ba2ecb68afa8d50be7d35d /INSTALL.md | |
| parent | fb46a4d36347c2750db93d6e6dcccf17c6326d2f (diff) | |
| download | smtcoq-be601b893a5d87f557467da9ebdad679c127af29.tar.gz smtcoq-be601b893a5d87f557467da9ebdad679c127af29.zip | |
Update installation instructions
Diffstat (limited to 'INSTALL.md')
| -rw-r--r-- | INSTALL.md | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -15,7 +15,7 @@ you want to use. ## Requirements -You need to have OCaml version >= 4.04.0 and Coq version 8.9.0. +You need to have OCaml version >= 4.04.0 and Coq version 8.11.*. The easiest way to install these two pieces of software is through opam. > **Warning**: The version of Coq that you plan to use must have been compiled @@ -26,7 +26,7 @@ The easiest way to install these two pieces of software is through opam. If you want to use SMTCoq with high performance to check large proof certificates, you need to use the [version of Coq with native data-structures](https://github.com/smtcoq/native-coq) instead of -Coq-8.9 (warning: this allows one to use the vernacular commands but not +Coq-8.11 (warning: this allows one to use the vernacular commands but not the tactics). |