Home
| Neovim support for the Lean Theorem Prover |
The Manual documents how to install, configure and use lean.nvim.
If you're brand new to Neovim, Getting Started From the Ground Up walks through a minimal setup.
Help improving this wiki is very welcome.