minor

denisecase · denisecase · commit a46b76f6a760 · 2025-12-28T07:58:12.000-06:00
diff --git a/lakefile.toml b/lakefile.toml
@@ -32,8 +32,7 @@ keywords = [
   "formal-ontology",
   "formal-verification",
   "theorem-proving",
-  "lean4",
-
+  "lean4"
 ]
 
 # ============================================================
