diff --git a/README.md b/README.md
index 54b646278b111da17c1cf6d15e8f86da72c58f99..af78d3918bb9ef133545538f3321efc9d3eb9602 100644
--- a/README.md
+++ b/README.md
@@ -1,4 +1,4 @@
-# Coq-std++
+# Coq-std++ [[coqdoc]](https://plv.mpi-sws.org/coqdoc/stdpp/)
 
 This project contains an extended "Standard Library" for Coq called coq-std++.
 The key features of this library are as follows: