lean.nvim
Lean prover plugin
A plugin that provides Neovim support for the Lean theorem prover and its ecosystem.
Neovim support for the Lean theorem prover
278 stars
7 watching
27 forks
Language: Lua
last commit: 4 days ago
Linked from 1 awesome list
leanlean4leanproverneovimneovim-pluginnvimnvim-treesittertree-sitter
rockerboo/awesome-neovimRelated projects:
| Repository | Description | Stars |
|---|---|---|
 polirritmico/telescope-lazy-plugins.nvim | A utility extension for Telescope, providing quick access to configuration files of plugins managed by lazy.nvim. | 55 |
 kawre/leetcode.nvim | An Neovim plugin for solving LeetCode problems | 1,139 |
 emmanueltouzery/decisive.nvim | A Neovim plugin to assist with aligning and navigating CSV files. | 90 |
 nvim-neorocks/rocks.nvim | Automated plugin management and dependency resolution for Neovim plugins | 720 |
 danymat/neogen | A plugin for Neovim that provides annotation generation features | 1,349 |
 nfrid/due.nvim | A Neovim plugin that displays due dates. | 115 |
 muniftanjim/nougat.nvim | A customizable UI plugin for Neovim's statusline, tabline, and winbar | 201 |
 klen/nvim-test | A Neovim plugin to run tests in various programming languages | 183 |
 quolpr/quicktest.nvim | A plugin for running and testing code in multiple programming languages | 80 |
 f-person/git-blame.nvim | A plugin for displaying commit information in Neovim | 908 |
 fabianwirth/search.nvim | A plugin that provides tab-based searching with Telescope for Neovim | 178 |
 2kabhishek/utils.nvim | Provides utilities to simplify plugin development in Neovim | 7 |
 nvim-telekasten/telekasten.nvim | A Neovim plugin for organizing and navigating notes with tags, links, and templates. | 1,419 |
 tobinpalmer/tip.nvim | A plugin that displays a motivational message with a suggestion when Neovim starts | 73 |
 jonathandion/web-dev.nvim | A Neovim configuration tailored for web development | 67 |