Julian/lean.nvim

Neovim support for the Lean theorem prover

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

stars

502

7d

+3

30d

+5

90d

+12

## star history

## found in

awesome-neovim/Programming Languages Support