Thanks to visit codestin.com Credit goes to lean.math.hhu.de
You need to enable JavaScript to use the lean web editor, as it is a React app.