Merge pull request #1595 from informalsystems/fix-docs-link

Fix documentation link
informalsystems · Feb 21, 2025 · 685d1fa · 685d1fa
2 parents ab33123 + 6985433
commit 685d1fa
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/README.md b/README.md
@@ -225,8 +225,7 @@ Cosmos in 2023.
 
 ## Documentation
 
-
-View the [Quint documentation](https://quint-lang.org/docs).
+View the [Quint documentation](https://quint-lang.org/docs/getting-started).
 
 We aspire to have great, comprehensive documentation. At present, we have a
 good start, but still far to go. Please try what we have available and share