Readme
To ensure that the lsp in emacs work, one needs to run
lake exec cache get
lake build
The build step could be done in emacs via just loading a file, however, if the dependency is large (for example mathlib), it will crash due to size issues
Description
Languages
Lean
70.3%
Nix
29.7%