deletion installing lean posts/lorentz-center-meeting.md

Co-authored-by: Rob Lewis <[email protected]>
leanprover-community · Aug 26, 2023 · 6540cff · 6540cff
1 parent d5307ca
commit 6540cff
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/posts/lorentz-center-meeting.md b/posts/lorentz-center-meeting.md
@@ -58,5 +58,3 @@ I am very grateful for this amazing opportunity, and I hope to see everyone agai
 
 If you're curious about the capability of Lean, don't hesitate to dive in and discover the power of proof assistants for yourself. 
 
-# Installing Lean
-For those interested in installing Lean and exploring its capabilities, detailed installation instructions can be found [here](https://leanprover-community.github.io/get_started.html). If you encounter any difficulties, you can seek assistance on the [Zulip chat](https://leanprover.zulipchat.com).