lean.nvim

neovim support for the Lean theorem prover

Uploader

Julian

License

MIT

Homepage

github.com/Julian/lean.nvim

Downloads

58
$ luarocks install lean.nvim

Versions

2024.10.1-133 days ago18 downloads
2024.9.2-158 days ago12 downloads
2024.9.1-162 days ago5 downloads
1.1.0-163 days ago5 downloads
1.0.0-1140 days ago18 downloads

Dependencies

lua >= 5.1

Manifests

root
Home · Search · Root Manifest · Manifests · Modules · Changes · About
@luarocksorg · 4339b2d · Source · Issues