Merge pull request #131 from pitmonticone/master

leanprover-community · Jan 22, 2024 · 087fffa · 087fffa
2 parents 92029c7 + 0c8c891
commit 087fffa
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -88,7 +88,7 @@ code lean-liquid
 For detailed instructions on how to work with Lean projects,
 see [this](https://leanprover-community.github.io/install/project.html). The script `scripts/get-cache.sh`
 in the folder `lean-liquid` will download the `olean` files created by our continuous integration. This
-will save you some time by not havig to do `leanproject build`.
+will save you some time by not having to do `leanproject build`.
 
 ### Reading the project