minor edit

hhu-adam · Jan 7, 2025 · 0b9e330 · 0b9e330
1 parent 8887f44
commit 0b9e330
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/index.html b/index.html
@@ -124,7 +124,7 @@ <h2 class="fw-bolder mb-4">Projektergebnisse</h2>
                   <div class="row gx-5">
                     <div class="col mb-4 mb-md-0 h-100">
                       <div class="feature bg-primary bg-gradient text-white rounded-3 mb-3"><i class="bi bi-input-cursor-text"></i></div>
-                      <h2 class="h5">Lean4Web editor</h2>
+                      <h2 class="h5">Lean 4 Web Editor</h2>
                       <p class="mb-0"><a href="https://lean.math.hhu.de/">Live Demo</a></p>
                       <p class="mb-0"><a href="https://github.com/leanprover-community/lean4web">Code</a></p>
                     </div>