README: add link to Lambdapi

Deducteam · Jun 26, 2024 · a69e0f1 · a69e0f1
1 parent 05d3f31
commit a69e0f1
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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.