emacs-lean-mode 20230611.728
Propagated dependencies: emacs-dash@20240510.1327 emacs-s@20220902.1511 emacs-f@20240308.906 emacs-flycheck@20240726.456
Channel: emacs
Home page: https://github.com/leanprover/lean-mode
Licenses:
Synopsis: A major mode for the Lean 3 language
Description:
Documentation at https://melpa.org/#/lean-mode
Total results: 1