Thanks to visit codestin.com Credit goes to live.lean-lang.org
You need to enable JavaScript to use the lean web editor, as it is a React app.