diff --git a/README.md b/README.md
index 43ffe34e8ea910ce0f59c9cdf36c0464e9b836b6..acf06f49d64f5e4b8b8b828ff5b1c976538c098a 100644
--- a/README.md
+++ b/README.md
@@ -8,9 +8,13 @@ artificial intelligence based software.
 ## Getting CAISAR
 
 The latest release of CAISAR is available as an [opam](https://opam.ocaml.org/)
-package or a [Docker](https://www.docker.com/) image.
+package or a [Docker](https://www.docker.com/) image on GNU/Linux.
+CAISAR is available on Windows either under the Windows
+Subsystem Linux (WSL) or the aforementioned docker image.
 
 The development version of CAISAR is available only by compiling the source code.
+CAISAR needs access to a ``python3`` interpreter, which is
+a default in all major GNU/Linux distributions.
 
 ### opam package
 
diff --git a/doc/installation.rst b/doc/installation.rst
index c98a4f8e142544abd60476b0861b68a85f992096..6efe58ccce674fbd30c164c8dd0f4b9eec1f85a8 100644
--- a/doc/installation.rst
+++ b/doc/installation.rst
@@ -5,7 +5,9 @@ Installation
 
 The latest release of CAISAR is available as an
 `opam <https://opam.ocaml.org/>`_ package or
-a `Docker <https://www.docker.com/>`_ image.
+a `Docker <https://www.docker.com/>`_ image on GNU/Linux.
+CAISAR is available on Windows either under the Windows
+Subsystem Linux (WSL) or the aforementioned docker image.
 
 The development version of CAISAR is available only by compiling the source code.
 CAISAR needs access to a ``python3`` interpreter, which is