NeoLand
Color Schemes
Plugins
Neovim
GitHub
lean.nvim
Neovim support for the Lean Theorem Prover.
104
Instant Doc
Programming Languages Support
(requires Neovim 0.5)
GitHub
lean.nvim
Close
Loading...
Close
Loading...