lean.nvim

neovim support for the Lean theorem prover

MIT

118

$ luarocks install lean.nvim

2024.12.2-1172 days ago35 downloads

2024.12.1-1184 days ago5 downloads

2024.10.1-1238 days ago27 downloads

2024.9.2-1263 days ago17 downloads

2024.9.1-1267 days ago7 downloads

1.1.0-1268 days ago7 downloads

1.0.0-1345 days ago20 downloads

lua >= 5.1