# Julian/lean.nvim

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

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

Julian/lean.nvim, dépôt open source à 615 étoiles sur GitHub. Carte Alpha de RepoMasters. Neovim support for the Lean theorem prover Langage : Lua.

| Champ | Valeur |
| --- | --- |
| Propriétaire | [Julian](https://repo.masters-masters.com/owners/Julian) |
| Étoiles | 615 |
| Forks | 63 |
| Langage | [Lua](https://repo.masters-masters.com/languages/lua) |
| Licence | MIT |
| Création | 2020 |
| Sujets | leanprover, neovim, neovim-plugin, lean, nvim-treesitter, tree-sitter, nvim, lean4 |
| Rang | [Alpha (250 à 699 ★)](https://repo.masters-masters.com/ranks/b_movie) |
| Voir sur GitHub | [Julian/lean.nvim](https://github.com/Julian/lean.nvim) |

## Fiche du dépôt

Neovim support for the Lean theorem prover

Rang des dépôts qui ont 250 à 699 ★ sur GitHub. Probabilité publiée par carte tirée : 20 %. Rareté : Peu commune.

## Autres dépôts de Julian

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

## D’autres dépôts Lua

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

---
Données : GitHub · Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage.