lean.nvim

neovim support for the Lean theorem prover

Uploader

Julian

License

MIT

Homepage

github.com/Julian/lean.nvim

Downloads

25
$ luarocks install lean.nvim

Versions

2024.10.1-11 day ago1 download
2024.9.2-126 days ago8 downloads
2024.9.1-130 days ago1 download
1.1.0-131 days ago1 download
1.0.0-1108 days ago14 downloads

Dependencies

lua >= 5.1

Manifests

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