diff options
| author | Théo Zimmermann | 2021-03-02 21:55:22 +0100 |
|---|---|---|
| committer | GitHub | 2021-03-02 21:55:22 +0100 |
| commit | b54ead93b6710b25337664a128bcfe9e684d342f (patch) | |
| tree | 01ae42b4b9232dbd4772297d664d894ff8901426 | |
| parent | 029e32fd84f9297999f0d0c611c9c4fef265d36d (diff) | |
Simplify wording.
Co-authored-by: Jim Fehrle <jim.fehrle@gmail.com>
| -rw-r--r-- | README.md | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -65,7 +65,7 @@ environment for semi-interactive development of machine-checked proofs. [coqorg-badge]: https://images.microbadger.com/badges/version/coqorg/coq.svg [coqorg-link]: https://github.com/coq-community/docker-coq/wiki#docker-coq-images "coqorg/coq:latest" -Users should refer to the https://coq.inria.fr/download page. +Please see https://coq.inria.fr/download. Information on how to build and install from sources can be found in [`INSTALL.md`](INSTALL.md). |