leanprover / lean3-mode

Emacs mode for Lean
69Updated last year

Related projects

Alternatives and complementary repositories for lean3-mode