diff --git a/doc/_static/media/caisar_logo.png b/doc/_static/media/caisar_logo.png
new file mode 100644
index 0000000000000000000000000000000000000000..6b5c44d6b3e6bca1aed7e2e3f77c133440f45068
Binary files /dev/null and b/doc/_static/media/caisar_logo.png differ
diff --git a/doc/conf.py b/doc/conf.py
index 42a6c97be5114c72b61c4f133852410c8dfac530..b7903e1fa1522b0af82091918a642fd6dc6ddce8 100644
--- a/doc/conf.py
+++ b/doc/conf.py
@@ -23,6 +23,7 @@ sys.path.append(os.path.abspath('./ext'))
 project = 'CAISAR'
 copyright = '2022, Michele Alberti, Julien Girard, François Bobot'
 author = 'Michele Alberti, Julien Girard, François Bobot'
+version = '0.1'
 
 
 # -- General configuration ---------------------------------------------------
diff --git a/doc/ext/__pycache__/why3.cpython-310.pyc b/doc/ext/__pycache__/why3.cpython-310.pyc
new file mode 100644
index 0000000000000000000000000000000000000000..58c7cad082195fe747e9ffe46b4ead50457f7a6d
Binary files /dev/null and b/doc/ext/__pycache__/why3.cpython-310.pyc differ
diff --git a/doc/index.rst b/doc/index.rst
index bc7098b34c41789dc3c1b1083ea02d2f971d3ed7..94ff650bf0086b651a4b9c84670dce38be69de34 100644
--- a/doc/index.rst
+++ b/doc/index.rst
@@ -5,12 +5,12 @@
 
 .. _index:
 
-CAISAR documentation
+The CAISAR Platform
 ====================
 
 .. image:: _static/media/caisar_logo.png
 
-*Written in november 2022*
+*version:* |version|
 
 CAISAR is an open-source platform for the Characterization of Artificial
 Intelligence Safety And Robustness.
diff --git a/doc/installation.rst b/doc/installation.rst
index ca8c5117a6a9a0d7d125a1fdb33e5450cb1c8269..46f5b962f2f16c643b25e0c76a2e084d24c47056 100644
--- a/doc/installation.rst
+++ b/doc/installation.rst
@@ -2,6 +2,7 @@
 
 Installation
 ============
+*version:* |version|
 
 The latest release of CAISAR is available as an
 `opam <https://opam.ocaml.org/>`_ package or
diff --git a/doc/usage.rst b/doc/usage.rst
index b9ff66bccf552a431558f21ace8426521d4a390e..5344dc0d5e98135fae3071d9c84d33bf924c72d1 100644
--- a/doc/usage.rst
+++ b/doc/usage.rst
@@ -1,9 +1,9 @@
-*Written in november 2022*
-
 .. _usage:
 
-Usage
-=====
+Using CAISAR
+============
+
+*version:* |version|
 
 Prover registration
 -------------------