From f656bc43174e3f0db83613e8db4b2418c3710eef Mon Sep 17 00:00:00 2001 From: Jon Eugster Date: Tue, 14 Nov 2023 22:11:56 +0100 Subject: [PATCH] Update README.md --- README.md | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index 95e7c27a..9c537811 100644 --- a/README.md +++ b/README.md @@ -1,6 +1,10 @@ # Lean 4 Web -This is a web version of Lean 4. In contrast to the [Lean 3 web editor](https://github.com/leanprover-community/lean-web-editor), in this web editor, the Lean server is +This is a web version of Lean 4. The official lean playground is hosted at live.lean-lang.org, while lean.math.hhu.de hosts a development server testing newer features. + + + +In contrast to the [Lean 3 web editor](https://github.com/leanprover-community/lean-web-editor), in this web editor, the Lean server is running on a web server, and not in the browser. ## Contribution