leanprover-community / lean4-mode

Emacs major mode for Lean 4
69Updated 3 weeks ago

Related projects

Alternatives and complementary repositories for lean4-mode