app-emacs/lean-mode
A major mode for the Lean 3 language
Runtime Dependencies
lean-mode-20230611.728
lean-mode-0_p20230611
>=app-emacs/dash-2.18.1
>=app-emacs/f-0.19.0
>=app-emacs/flycheck-32
>=app-emacs/s-1.10.0
sci-mathematics/lean:0/3
>=app-editors/emacs-25.3:*
>=app-emacs/f-0.19.0
>=app-emacs/flycheck-32
>=app-emacs/s-1.10.0
sci-mathematics/lean:0/3
>=app-editors/emacs-25.3:*