lean4web/index.html at main · verified-optimization/lean4web · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
<!DOCTYPE html>
<html>

<head>
  <meta charset="UTF-8" />
  <title>Lean 4 Web</title>
  <meta name="viewport" content="width=device-width, initial-scale=1.0">
</head>

<body>
  <div id="root"></div>
  <noscript>
    <p>You need to enable JavaScript to use the lean4web editor, as it is a <a href="https://react.dev">React app</a>.</p>
    <p>Contact details:</p>
    <p>
      <a href="https://www.math.hhu.de/lehrstuehle-/-personen-/-ansprechpartner/innen/lehrstuehle-des-mathematischen-instituts/lehrstuhl-fuer-algebraische-geometrie/team/dr-alexander-bentkamp">Alexander Bentkamp</a>,&nbsp;
      <a href="https://www.math.hhu.de/lehrstuehle-/-personen-/-ansprechpartner/innen/lehrstuehle-des-mathematischen-instituts/lehrstuhl-fuer-algebraische-geometrie/team/jon-eugster">Jon Eugster</a><br />
      Mathematisches Institut der Heinrich-Heine-Universität Düsseldorf<br />
      Universitätsstr. 1<br />
      40225 Düsseldorf<br />
      Germany<br />
      +49 211 81-12173<br />
    </p>
  </noscript>
  <script type="module" src="/client/src/index.tsx"></script>
</body>

</html>