xgqt@gentoo.org Maciej Barć gnu-emacs@gentoo.org Gentoo GNU Emacs project Provides a major mode for the Lean 3 programming language. Provides highlighting, diagnostics, goal visualization and many other useful features for Lean users. https://github.com/leanprover/lean-mode/issues leanprover/lean-mode