diff --git a/front/src/index.html b/front/src/index.html index 2f63a92..fe2c3f1 100644 --- a/front/src/index.html +++ b/front/src/index.html @@ -3,6 +3,7 @@ Babaeee proof checker + @@ -15,4 +16,4 @@ globalThis.global = { initZ3: globalThis.initZ3 }; - \ No newline at end of file +