From 51e0f614f37644d9c4ff35ec05ce1413a677afb6 Mon Sep 17 00:00:00 2001
From: Guillaume Claret <dev@clarus.me>
Date: Thu, 26 Nov 2015 19:00:07 +0100
Subject: [PATCH] Installation instructions

---
 index.markdown | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/index.markdown b/index.markdown
index 91f3e43..993c9a7 100644
--- a/index.markdown
+++ b/index.markdown
@@ -29,3 +29,11 @@ hierarchy and the various orders in math classes.
 Math classes is used in [C-CoRN](http://corn.cs.ru.nl) to implement high
 performance exact real number arithmetic.
 
+## Install
+Add the [Coq repository](coq.io/opam/):
+
+    opam repo add coq-released https://coq.inria.fr/opam/released
+
+and run:
+
+    opam install coq-math-classes