Search Portage & Overlays:
Newest
News
Repository news
GLSAs
Browse
USE Flags
Overlays
More...
app-emacs
/lean-mode
A major mode for the Lean 3 language
Screenshots
https://github.com/leanprover/lean-mode
lean-mode-20230611.728
~amd64 ~x86
View
Download
Browse
License:
Overlay:
melpa
lean-mode-0_p20230611
~amd64
View
Download
Browse
License: GPL-2+
Overlay:
gentoo
ChangeLog
USE Flags
Dependencies
Reverse Deps
Related Bugs
Reverse Dependencies
app-emacs/company-lean
app-emacs/helm-lean
Reverse dependancies are sometimes conditional based on your USE flags, Ebuild version and sometimes other packages. please keep this in mind.