Skip to content

Home

Jump to bottom Edit New page
Julian Berman edited this page Apr 26, 2026 · 11 revisions
lean.nvim

lean.nvim

Neovim support for the Lean Theorem Prover

The Manual documents how to install, configure and use lean.nvim. Help improving this wiki is very welcome.

Add a custom footer

Clone this wiki locally