From 0b9e330c0a8633f93f2254c42359f407a4260285 Mon Sep 17 00:00:00 2001 From: Marcus Zibrowius Date: Tue, 7 Jan 2025 12:58:52 +0100 Subject: [PATCH] minor edit --- index.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/index.html b/index.html index 9adb67f..ceb0a68 100644 --- a/index.html +++ b/index.html @@ -124,7 +124,7 @@

Projektergebnisse

-

Lean4Web editor

+

Lean 4 Web Editor

Live Demo

Code