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

GitHub

288 stars
7 watching
28 forks
Language: Lua
last commit: 7 months ago
Linked from 1 awesome list

leanlean4leanproverneovimneovim-pluginnvimnvim-treesittertree-sitter

Backlinks from these awesome lists:

Related 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