AlphaUncommon
Julian/lean.nvim
Neovim support for the Lean theorem prover
- Owner
- Julian (personal account)
- Stars
- Stars: 615
- Forks
- Forks: 63
- Language
- Lua
- License
- MIT
- Created
- 2020
- Topics
- leanproverneovimneovim-pluginleannvim-treesittertree-sitternvimlean4
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by Julian
All 3 repos by Julian- Julian/vim-textobj-variable-segmentStars: 160Vim ScriptPrototype
- Julian/awesome-bugsStars: 148Prototype
Nearby in Lua
All Lua repos- tiagovla/tokyodark.nvimStars: 616LuaAlpha
- mrcjkb/haskell-tools.nvimStars: 616LuaAlpha
- NStefan002/screenkey.nvimStars: 615LuaAlpha
- Cocos-BCX/1808Stars: 613LuaAlpha
- luukvbaal/statuscol.nvimStars: 612LuaAlpha
- xeluxee/competitest.nvimStars: 611LuaAlpha