lean-mode

Homepage: https://github.com/leanprover/lean-mode

Author: Gabriel Ebner, Leonardo de Moura, Sebastian Ullrich, Soonho Kong

Updated: 2022-May-01

Summary

A major mode for the Lean 3 language

Commentary

Provides a major mode for the Lean 3 programming language.

Provides highlighting, diagnostics, goal visualization,
and many other useful features for Lean users.

See the README.md for more advanced features and the
associated keybindings.

Dependencies

• cl
• cl-lib
• company
• company-etags
• dash
• f
• flycheck
• flymake
• helm
• json
• pcase
• quail
• rx
• s

Reverse dependencies

• yasnippet-lean