lemma 7

thery · Oct 7, 2023 · 1c7fd67 · 1c7fd67
1 parent 4d02b66
commit 1c7fd67
Showing 1 changed file with 9 additions and 1 deletion.
diff --git a/README.md b/README.md
@@ -35,7 +35,15 @@ Le Monde en 2013 comme énigmes mathématiques.
 
 ## Building and installation instructions
 
-To build and install manually, do:
+The easiest way to install the latest released version of lemonde
+is via [OPAM](https://opam.ocaml.org/doc/Install.html):
+
+```shell
+opam repo add coq-released https://coq.inria.fr/opam/released
+opam install coq-lemonde
+```
+
+To instead build and install manually, do:
 
 ``` shell
 git clone https://github.com/thery/lemonde.git