Dark Mode

Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
Appearance settings

Home

Jump to bottom Edit New page
Julian Berman edited this page Sep 24, 2024 * 8 revisions

lean.nvim

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.

Clone this wiki locally