Home
| Neovim support for the Lean Theorem Prover |
This wiki is (slowly) being worked on. The main goal is to finish the Manual and provide answers to the most common questions within it. Help is very welcome.
In the meanwhile, beyond the partial progress in the manual, there are some additional tips and tricks on the Configuring & Extending page and an (old, but still functional) guide for getting started assuming no previous neovim configuration knowledge on the From the Ground Up page.