Update index.md

HOLMS-lib · Sep 26, 2024 · 646dc3a · 646dc3a
1 parent eb6be38
commit 646dc3a
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/index.md b/index.md
@@ -193,5 +193,7 @@ Completness of GL
 COMPLETENESS_THEOREM 
  |- `!p. ITF:(form list->bool)#(form list->form list->bool)->bool |= p
        ==> [GL_AX . {} |~ p]`
+```
+
 
 ### Automated theorem proving and countermodel construction