You need to enable JavaScript to use the lean4web editor, as it is a React app.
Contact details:
Alexander Bentkamp, Jon Eugster Mathematisches Institut der Heinrich-Heine-Universität Düsseldorf Universitätsstr. 1 40225 Düsseldorf Germany +49 211 81-12173