Julian/lean.nvim

Neovim support for the Lean theorem prover

语言：Lua · GitHub 星标：615 · Fork：63

话题：lean · lean4 · leanprover · neovim · neovim-plugin · nvim · nvim-treesitter · tree-sitter

在 GitHub 上查看原仓库