prism-dev/leanprover-community--lean4-modepublic

Emacs major mode for Lean 4

Emacs Lisp Updated 14 days ago 1 commits 142 stars
prism-dev|Mirror: leanprover-community/lean4-mode (⭐142)
14 days ago

About

Emacs major mode for Lean 4

Readme
142 stars
45 forks