# Julian/lean.nvim

<https://repo.masters-masters.com/en/repos/Julian/lean.nvim>

[Home](https://repo.masters-masters.com/en) › [Julian](https://repo.masters-masters.com/en/owners/Julian) › [lean.nvim](https://repo.masters-masters.com/en/repos/Julian/lean.nvim)

Julian/lean.nvim has 615 stars on GitHub. Its RepoMasters card: Alpha tier. Neovim support for the Lean theorem prover Language: Lua.

| Field | Value |
| --- | --- |
| Owner | [Julian](https://repo.masters-masters.com/en/owners/Julian) |
| Stars | 615 |
| Forks | 63 |
| Language | [Lua](https://repo.masters-masters.com/en/languages/lua) |
| License | MIT |
| Created | 2020 |
| Topics | leanprover, neovim, neovim-plugin, lean, nvim-treesitter, tree-sitter, nvim, lean4 |
| Tier | [Alpha (250 to 699 ★)](https://repo.masters-masters.com/en/ranks/b_movie) |
| View on GitHub | [Julian/lean.nvim](https://github.com/Julian/lean.nvim) |

## Repository

Neovim support for the Lean theorem prover

The tier for repos with 250 to 699 ★. Published odds per card pulled: 20%. Rarity: Uncommon.

## More repos by Julian

- [Julian/vim-textobj-variable-segment · ★ 160 · Vim Script · Prototype](https://repo.masters-masters.com/en/repos/Julian/vim-textobj-variable-segment)
- [Julian/awesome-bugs · ★ 148 · Prototype](https://repo.masters-masters.com/en/repos/Julian/awesome-bugs)

## Nearby in Lua

- [tiagovla/tokyodark.nvim · ★ 616 · Lua · Alpha](https://repo.masters-masters.com/en/repos/tiagovla/tokyodark.nvim)
- [mrcjkb/haskell-tools.nvim · ★ 616 · Lua · Alpha](https://repo.masters-masters.com/en/repos/mrcjkb/haskell-tools.nvim)
- [NStefan002/screenkey.nvim · ★ 615 · Lua · Alpha](https://repo.masters-masters.com/en/repos/NStefan002/screenkey.nvim)
- [Cocos-BCX/1808 · ★ 613 · Lua · Alpha](https://repo.masters-masters.com/en/repos/Cocos-BCX/1808)
- [luukvbaal/statuscol.nvim · ★ 612 · Lua · Alpha](https://repo.masters-masters.com/en/repos/luukvbaal/statuscol.nvim)
- [xeluxee/competitest.nvim · ★ 611 · Lua · Alpha](https://repo.masters-masters.com/en/repos/xeluxee/competitest.nvim)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.