lean.nvim

neovim support for the Lean theorem prover

MIT

1,452

$ luarocks install lean.nvim

2025.10.1-1176 days ago1,233 downloads

2024.12.2-11 year ago109 downloads

2024.12.1-11 year ago7 downloads

2024.10.1-11 year ago29 downloads

2024.9.2-11 year ago19 downloads

2024.9.1-11 year ago9 downloads

1.1.0-11 year ago9 downloads

1.0.0-11 year ago22 downloads

lua >= 5.1