dannym pushed a commit to branch master
in repository guix.
commit 169894151fdcde249ba6e2c248b3e894f74eaa15
Author: Danny Milosavljevic <dan...@friendly-machines.com>
AuthorDate: Wed Mar 26 01:05:01 2025 +0100
gnu: Add emacs-lean4-mode.
* gnu/packages/emacs-xyz.scm (emacs-lean4-mode): New variable.
Change-Id: I787e4debe890f1f18c2bbdf8ee4334c4e46433eb
---
gnu/packages/emacs-xyz.scm | 23 +++++++++++++++++++++++
1 file changed, 23 insertions(+)
diff --git a/gnu/packages/emacs-xyz.scm b/gnu/packages/emacs-xyz.scm
index 78e342e5f9..da30b4776c 100644
--- a/gnu/packages/emacs-xyz.scm
+++ b/gnu/packages/emacs-xyz.scm
@@ -3013,6 +3013,29 @@ replacement.")
programs.")
(license license:gpl3+)))
+(define-public emacs-lean4-mode
+ (package
+ (name "emacs-lean4-mode")
+ (version "1.1.2")
+ (source (origin
+ (method git-fetch)
+ (uri (git-reference
+ (url
"https://github.com/leanprover-community/lean4-mode.git";)
+ (commit version)))
+ (file-name (git-file-name name version))
+ (sha256
+ (base32
+ "1i4l614n0hs02y0a4xfnzc4xkilkp6bzx28pys4jkp96vp2ivf0c"))))
+ (build-system emacs-build-system)
+ ;; TODO: Just emacs-magit-section instead of emacs-magit would be enough.
+ (propagated-inputs
+ (list emacs-compat emacs-lsp-mode emacs-dash emacs-magit))
+ (synopsis "Lean 4 major mode for Emacs")
+ (description "This package provides a major mode for the Lean theorem
+prover, version 4.")
+ (home-page "https://lean-lang.org/";)
+ (license license:asl2.0)))
+
(define-public emacs-dante
(package
(name "emacs-dante")
