leanprover-community / lean4-modeLinks

Emacs major mode for Lean 4
92Updated this week

Alternatives and similar repositories for lean4-mode

Users that are interested in lean4-mode are comparing it to the libraries listed below

Sorting: