cleanup config

leanprover-community · Apr 26, 2024 · b68db8f · b68db8f
1 parent a1bc6c2
commit b68db8f
Showing 1 changed file with 5 additions and 8 deletions.
diff --git a/client/src/config.json b/client/src/config.json
@@ -4,17 +4,14 @@
       "name": "Latest Mathlib",
       "examples": [
         { "file": "MathlibLatest/Bijection.lean",
-          "name": "Bijection"},
+          "name": "Bijection" },
         { "file": "MathlibLatest/Logic.lean",
-          "name": "Logic"},
+          "name": "Logic" },
         { "file": "MathlibLatest/Ring.lean",
-          "name": "Ring"},
+          "name": "Ring" },
         { "file": "MathlibLatest/Rational.lean",
-          "name": "Rational"}
-      ]
-    },
+          "name": "Rational" }]},
     { "folder": "lean4web-tools",
-      "name": "Stable Lean"
-    }
+      "name": "Stable Lean" }
   ]
 }