From 062de59915962e86fbb67601d20a6365e38f810f Mon Sep 17 00:00:00 2001 From: Nima Rasekh Date: Mon, 26 Aug 2024 12:08:10 +0200 Subject: [PATCH] Update README.md Readme link to install page is apparently outdated --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index fdb08015..3a5e9d4c 100644 --- a/README.md +++ b/README.md @@ -34,7 +34,7 @@ highlighting supplied by ## Checking the formalisations locally Install the -[`rzk`](https://rzk-lang.github.io/rzk/latest/getting-started/install/) proof +[`rzk`](https://rzk-lang.github.io/rzk/en/latest/getting-started/install/) proof assistant. Then run the following command from the root of this repository: ```sh