GitHub repository: leanprover/lean4-mode
Primary language: Emacs Lisp
Created: 2022-01-21T08:16:30Z
Description: Emacs major mode for Lean 4