diff --git a/docs/INSTALLATION.md b/docs/INSTALLATION.md
index 1eecc7f..7420985 100644
--- a/docs/INSTALLATION.md
+++ b/docs/INSTALLATION.md
@@ -2,4 +2,4 @@
 
 You can install Lean by following the [installation instructions][install] on the official website.
 
-[install]: https://lean-lang.org/instal
+[install]: https://lean-lang.org/install