app-emacs/lean-mode – Gentoo Packages

Version	amd64	x86	alpha	arm	arm64	hppa	ia64	ppc	ppc64	riscv	sparc
0_p20230611 : 0	~amd64	?x86	?alpha	?arm	?arm64	?hppa	?ia64	?ppc	?ppc64	?riscv	?sparc

Upstream

Bugs-To	https://github.com/leanprover/lean-mode/issues
Remote-Id	https://github.com/leanprover/lean-mode

Full description

Provides a major mode for the Lean 3 programming language. Provides highlighting, diagnostics, goal visualization and many other useful features for Lean users.
License

GPL-2+
Maintainer(s)

Gentoo GNU Emacs project

CI Report (verbose)

Repology

Git log (short)

app-emacs/ lean-mode