lean.nvim

neovim support for the Lean theorem prover

MIT

1,381

$ luarocks install lean.nvim

2025.10.1-126 days ago1,163 downloads

2024.12.2-1304 days ago109 downloads

2024.12.1-1316 days 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