app-emacs/lean-mode – Gentoo Packages

Version	amd64	x86	alpha	arm	arm64	hppa	mips	ppc	ppc64	riscv	sparc
0_p20230611-r1 : 0 EAPI 8	~amd64	?x86	?alpha	?arm	?arm64	?hppa	?mips	?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

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