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: 7 months ago
Linked from 1 awesome list
leanlean4leanproverneovimneovim-pluginnvimnvim-treesittertree-sitter
Related projects:
Repository | Description | Stars |
---|---|---|
| A utility extension for Telescope, providing quick access to configuration files of plugins managed by lazy.nvim. | 56 |
| A Neovim plugin for solving LeetCode problems | 1,192 |
| A Neovim plugin to assist with aligning and navigating CSV files. | 91 |
| Automated plugin management and dependency resolution for Neovim plugins | 760 |
| A plugin for Neovim that provides annotation generation features | 1,370 |
| A Neovim plugin that displays due dates. | 115 |
| A customizable UI plugin for Neovim's statusline, tabline, and winbar | 202 |
| A Neovim plugin to run tests in various programming languages | 185 |
| A plugin for running and testing code in multiple programming languages | 83 |
| A plugin for displaying commit information in Neovim | 927 |
| A plugin that provides tab-based searching with Telescope for Neovim | 179 |
| Provides utilities to simplify plugin development in Neovim | 9 |
| A Neovim plugin for organizing and navigating notes with tags, links, and templates. | 1,435 |
| A plugin that displays a motivational message with a suggestion when Neovim starts | 74 |
| A Neovim configuration tailored for web development | 67 |