Merge pull request #148 from rzk-lang/Fix-link

Update README.md
rzk-lang · Aug 27, 2024 · 873a017 · 873a017
2 parents 436ceb5 + 062de59
commit 873a017
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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