online version

Stream: general

[Thorsten Altenkirch]

Which version of lean is used by the online web version?
https://leanprover-community.github.io/lean-web-editor/

[Martin Dvořák]

Prehistoric version (3.51.1).

[Johan Commelin]

The default content of the web editor actually tells you what version is running (-;

[Adam Topaz]

Here's the Lean4 version: https://lean.math.hhu.de/

[Scott Morrison]

We should switch off that web-editor asap, and make it a redirect to the new one.

[Scott Morrison]

At very least the top couple of lines of the default file should be a big warning message about it being obsolete, and providing the link to the new one.

[Martin Dvořák]

Adam Topaz said:

Here's the Lean4 version: https://lean.math.hhu.de/

It seems this webpage is down at the moment.

[Scott Morrison]

It's working for me.

[Henrik Böving]

I hang indefinitely at lean server starting

[Martin Dvořák]

Edit: It loaded in the end.