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
288 stars
7 watching
28 forks
Language: Lua
last commit: 11 months 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. | 56 |
 kawre/leetcode.nvim | A Neovim plugin for solving LeetCode problems | 1,192 |
 emmanueltouzery/decisive.nvim | A Neovim plugin to assist with aligning and navigating CSV files. | 91 |
 nvim-neorocks/rocks.nvim | Automated plugin management and dependency resolution for Neovim plugins | 760 |
 danymat/neogen | A plugin for Neovim that provides annotation generation features | 1,370 |
 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 | 202 |
 klen/nvim-test | A Neovim plugin to run tests in various programming languages | 185 |
 quolpr/quicktest.nvim | A plugin for running and testing code in multiple programming languages | 83 |
 f-person/git-blame.nvim | A plugin for displaying commit information in Neovim | 927 |
 fabianwirth/search.nvim | A plugin that provides tab-based searching with Telescope for Neovim | 179 |
 2kabhishek/utils.nvim | Provides utilities to simplify plugin development in Neovim | 9 |
 nvim-telekasten/telekasten.nvim | A Neovim plugin for organizing and navigating notes with tags, links, and templates. | 1,435 |
 tobinpalmer/tip.nvim | A plugin that displays a motivational message with a suggestion when Neovim starts | 74 |
 jonathandion/web-dev.nvim | A Neovim configuration tailored for web development | 67 |