Mirrors/awesome-neovim
2
0
Fork 0
mirror of https://github.com/rockerBOO/awesome-neovim synced 2024-11-24 03:53:05 +00:00
Code Issues Projects Releases Packages Wiki Activity

Add a link to lean.nvim

Browse source 
Hopefully a bit of self-promotion (for Lean!) is awesome enough to make the list :)
This commit is contained in:
Julian Berman 2021-10-05 14:51:10 -04:00 committed by Thomas Versteeg
parent 33e4c9f53d
commit 2997b88cb7
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
README.md
View file

@ -436,6 +436,7 @@ These colorschemes may not specialize in Tree-sitter directly but are written in
- [crispgm/nvim-go](https://github.com/crispgm/nvim-go) - A minimal implementation of Golang development plugin for Neovim. - [crispgm/nvim-go](https://github.com/crispgm/nvim-go) - A minimal implementation of Golang development plugin for Neovim.
- [gennaro-tedesco/nvim-jqx](https://github.com/gennaro-tedesco/nvim-jqx) - Interactive interface for json files. - [gennaro-tedesco/nvim-jqx](https://github.com/gennaro-tedesco/nvim-jqx) - Interactive interface for json files.
- [edolphin-ydf/goimpl.nvim](https://github.com/edolphin-ydf/goimpl.nvim) - Generate interface stubs for a type. - [edolphin-ydf/goimpl.nvim](https://github.com/edolphin-ydf/goimpl.nvim) - Generate interface stubs for a type.
- [lean.nvim](https://github.com/Julian/lean.nvim) - Neovim support for the [Lean Theorem Prover](https://leanprover.github.io/).
### Comment ### Comment