diff --git a/README.md b/README.md
index 5f2310b..c174136 100644
--- a/README.md
+++ b/README.md
@@ -1,7 +1,8 @@
 Lambdapi library for Zenon
 ==========================
 
-Lambdapi library used by the automated theorem prover
+[Lambdapi](https://github.com/Deducteam/lambdapi) library used by the
+automated theorem prover
 [ZenonModulo](https://github.com/Deducteam/zenon_modulo/tree/modulo)
 for generating Lambdapi proofs.