Update index.md

HOLMS-lib · Sep 26, 2024 · 42992c5 · 42992c5
1 parent 646dc3a
commit 42992c5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/index.md b/index.md
@@ -194,6 +194,6 @@ COMPLETENESS_THEOREM
  |- `!p. ITF:(form list->bool)#(form list->form list->bool)->bool |= p
        ==> [GL_AX . {} |~ p]`
 ```
-
+### Finite model property and decidability
 
 ### Automated theorem proving and countermodel construction