lean.nvim

neovim support for the Lean theorem prover

MIT

153

$ luarocks install lean.nvim

2024.12.2-1263 days ago44 downloads

2024.12.1-1275 days ago7 downloads

2024.10.1-1329 days ago29 downloads

2024.9.2-1354 days ago19 downloads

2024.9.1-1358 days ago9 downloads

1.1.0-1359 days ago9 downloads

1.0.0-11 year ago22 downloads

lua >= 5.1