GitHub repository: sebeaumont/org-lean-mode
Primary language: Emacs Lisp
Description: Org/Lean4 polymode