leanprover-community / lean4-mode

Emacs major mode for Lean 4
70Updated this week

Related projects

Alternatives and complementary repositories for lean4-mode