Snippet Engine for Neovim written in Lua.
Repository Index
64,764 visible repositories in the index
1–2 of 2 · Most stars
Neovim support for the Lean theorem prover
- leanprover
- neovim
- neovim-plugin
- lean
64,764 visible repositories in the index
1–2 of 2 · Most stars
Snippet Engine for Neovim written in Lua.
Neovim support for the Lean theorem prover