Install
Docs
Log In
Register
lean.nvim
Follow
Star
1
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-1
1 day ago
1 download
2024.9.2-1
26 days ago
8 downloads
2024.9.1-1
30 days ago
1 download
1.1.0-1
31 days ago
1 download
1.0.0-1
108 days ago
14 downloads
Dependencies
lua
>= 5.1
Manifests
root