feat: Add lean4-mode

Maverobot · Dec 27, 2023 · f703c8a · f703c8a
1 parent 87c0db7
commit f703c8a
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/init.el b/init.el
@@ -190,7 +190,11 @@ This function should only modify configuration layer settings."
                                       (copilot :location (recipe
                                                           :fetcher github
                                                           :repo "zerolfx/copilot.el"
-                                                          :files ("*.el" "dist"))))
+                                                          :files ("*.el" "dist")))
+                                      (lean4-mode :location (recipe
+                                                             :fetcher github
+                                                             :repo "leanprover/lean4-mode"
+                                                             :files ("*.el" "data"))))
    ;; A list of packages that cannot be updated.
    dotspacemacs-frozen-packages '()