A neovim plugin for moving around your code in a syntax tree aware manner
- abstract-syntax-tree
- navigation
- neovim
- plugin
Repository Index
47,133 repositories indexed
1–2 of 2 · Most stars
Neovim support for the Lean theorem prover
- leanprover
- neovim
- neovim-plugin
- lean