leanprover-community/lean4-mode

Emacs major mode for Lean 4

语言：Emacs Lisp · GitHub 星标：142 · Fork：45

话题：emacs · lean4

在 GitHub 上查看原仓库