Issues
- 7
json-readtable-error 47
#39 opened by Pi-Cla - 2
Adding evil keybindings
#32 opened by lenianiva - 5
Request: add `lean4-mode` to `melpa`
#18 opened by emeinhardt - 14
Add support for eglot language server
#7 opened by sgpthomas - 4
`nix-doom-emacs` install instructions
#15 opened by emeinhardt - 2
Unicode insertion not working
#40 opened by SpaceTurth - 1
- 3
Support collapsible trace nodes
#35 opened by JLimperg - 13
Emacs can't activate the input method 'Lean'
#30 opened by la-marc - 0
Feature request: pause info buffer redisplay
#22 opened by felipeochoa - 5
- 2
LSP installation problem
#16 opened by NEsanya - 4
- 1
Use `lake serve` to start lean server
#3 opened by gebner