app-emacs/lean-mode – Gentoo Packages

Version	amd64	x86	alpha	arm	arm64	hppa	ia64	ppc	ppc64	riscv	sparc
20220501 : 0	~amd64	x86	alpha	arm	arm64	hppa	ia64	ppc	ppc64	riscv	sparc
20220124-r1 : 0	~amd64	x86	alpha	arm	arm64	hppa	ia64	ppc	ppc64	riscv	sparc
20211220-r1 : 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