diff --git a/README.md b/README.md
index a8cb7975..622b6b34 100644
--- a/README.md
+++ b/README.md
@@ -12,6 +12,9 @@ It derives from [Alt-Ergo Zero](http://cubicle.lri.fr/alt-ergo-zero).
 This program is distributed under the Apache Software License version
 2.0. See the enclosed file `LICENSE`.
 
+## Documentation
+
+See https://gbury.github.io/msat/
 
 ## USAGE