app-emacs/lean-mode
Emacs mode for the Lean 3 theorem prover
Screenshots
View
Download
BrowseRuntime Dependencies
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:*