lean.nvim

neovim support for the Lean theorem prover

MIT

1,477

$ luarocks install lean.nvim

2026.4.1-166 days ago3 downloads

2025.10.1-1266 days ago1,234 downloads

2024.12.2-11 year ago110 downloads

2024.12.1-11 year ago8 downloads

2024.10.1-11 year ago30 downloads

2024.9.2-11 year ago20 downloads

2024.9.1-11 year ago10 downloads

1.1.0-11 year ago10 downloads

1.0.0-11 year ago23 downloads

lua >= 5.1