AlphaPeu commune
Julian/lean.nvim
Neovim support for the Lean theorem prover
- Propriétaire
- Julian (compte personnel)
- Étoiles
- Étoiles : 615
- Forks
- Forks : 63
- Langage
- Lua
- Licence
- MIT
- Création
- 2020
- Sujets
- leanproverneovimneovim-pluginleannvim-treesittertree-sitternvimlean4
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
Autres dépôts de Julian
Les 3 dépôts de Julian- Julian/vim-textobj-variable-segmentÉtoiles : 160Vim ScriptPrototype
- Julian/awesome-bugsÉtoiles : 148Prototype
D’autres dépôts Lua
Tous les dépôts Lua- tiagovla/tokyodark.nvimÉtoiles : 616LuaAlpha
- mrcjkb/haskell-tools.nvimÉtoiles : 616LuaAlpha
- NStefan002/screenkey.nvimÉtoiles : 615LuaAlpha
- Cocos-BCX/1808Étoiles : 613LuaAlpha
- MikaylaFischler/cc-mek-scadaÉtoiles : 612LuaAlpha
- luukvbaal/statuscol.nvimÉtoiles : 612LuaAlpha