GitHub repository: leanprover-community/lean4-mode
Primary language: Emacs Lisp
Description: Emacs major mode for Lean 4