Merge pull request #163 from lean-dojo/yangky11-patch-4

Update README.md
lean-dojo · Apr 29, 2024 · 8b2bffc · 8b2bffc
2 parents 5650bf6 + 399970f
commit 8b2bffc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -40,7 +40,7 @@ pip install .
 ## Documentation
 
 * [Getting Started](https://leandojo.readthedocs.io/en/latest/getting-started.html)
-* Demos: [Lean 3](https://github.com/lean-dojo/LeanDojo/blob/main/scripts/demo-lean3.ipynb), [Lean 4](https://github.com/lean-dojo/LeanDojo/blob/main/scripts/demo-lean4.ipynb)
+* [Demo](https://github.com/lean-dojo/LeanDojo/blob/main/scripts/demo-lean4.ipynb)
 * [Full documentation](https://leandojo.readthedocs.io/en/latest/index.html)