lean.nvim

neovim support for the Lean theorem prover

$ luarocks install lean.nvim

Versions

2024.12.2-1191 days ago41 downloads
2024.12.1-1203 days ago5 downloads
2024.10.1-1257 days ago27 downloads
2024.9.2-1282 days ago17 downloads
2024.9.1-1286 days ago7 downloads
1.1.0-1287 days ago7 downloads
1.0.0-1364 days ago20 downloads

Dependencies

lua >= 5.1

Manifests