diff --git a/doc/index.rst b/doc/index.rst
index 455dd91ae15631cf1b328ff8a888aeff1397ea9f..e543b2c4edf70f59b8b933440133dda983aef7c1 100644
--- a/doc/index.rst
+++ b/doc/index.rst
@@ -33,6 +33,7 @@ This work has been partly supported by the `Confiance.ai`_ program.
    installation
    usage
    examples
+   contributing
    genindex
    CAISAR website <http://www.caisar-platform.com>
 
diff --git a/doc/interpretation.rst b/doc/interpretation.rst
new file mode 100644
index 0000000000000000000000000000000000000000..4fab5e34e77162accfebd62f58e6483b41433c1b
--- /dev/null
+++ b/doc/interpretation.rst
@@ -0,0 +1,22 @@
+.. _interpretation:
+
+The CAISAR modelling language
+=============================
+
+Origin: WhyML
+-------------
+
+Built-ins
+---------
+
+Available under ``stdlib/interpretation.mlw``.
+
+Several theories available to use in any property file.
+
+* Vector
+* NeuralNetwork
+* Dataset
+
+
+
+