GitHub repository: sirikid/lean-mode
Description: Emacs mode for Lean