lean.nvim
Neovim support for the Lean theorem prover
263 stars
7 watching
25 forks
Language: Lua
last commit: 4 days ago
Linked from 1 awesome list
leanlean4leanproverneovimneovim-pluginnvimnvim-treesittertree-sitter
lean.nvim Neovim support for the Lean theorem prover
rockerboo/awesome-neovim