GitHub repository: leanprover/lean-mode
Primary language: Emacs Lisp
Description: Emacs mode for Lean