https://github.com/luavreis/lean4-minimal-mode

Minimalistic Emacs major mode for Lean 4 using Eglot.
https://github.com/luavreis/lean4-minimal-mode

emacs emacs-mode lean lean4

Last synced: 3 months ago
JSON representation

Minimalistic Emacs major mode for Lean 4 using Eglot.

• Host: GitHub
• URL: https://github.com/luavreis/lean4-minimal-mode
• Owner: luavreis
• License: apache-2.0
• Fork: true (leanprover-community/lean4-mode)
• Created: 2024-05-21T01:22:56.000Z (8 months ago)
• Default Branch: master
• Last Pushed: 2024-09-17T02:53:34.000Z (4 months ago)
• Last Synced: 2024-09-25T15:03:21.861Z (4 months ago)
• Topics: emacs, emacs-mode, lean, lean4
• Language: Emacs Lisp
• Homepage: https://leanprover.github.io/
• Size: 181 KB
• Stars: 0
• Watchers: 0
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project