Julian/lean.nvim

Neovim support for the Lean theorem prover

[view on github]last commit: Apr 14, 2026

stars

508

7d

+4

30d

+10

90d

+16

## star history

## found in

awesome-neovim/Programming Languages Support