From 7b0f4000173fb89e4fe663a3544c0ce70a4fa729 Mon Sep 17 00:00:00 2001 From: Eric Willigers Date: Mon, 20 Apr 2026 19:42:28 +1000 Subject: [PATCH] INSTALLATION.md: install not instal --- docs/INSTALLATION.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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