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
120
$
luarocks install lean.nvim
Versions
2024.12.2-1
189 days ago
37 downloads
2024.12.1-1
202 days ago
5 downloads
2024.10.1-1
256 days ago
27 downloads
2024.9.2-1
281 days ago
17 downloads
2024.9.1-1
285 days ago
7 downloads
1.1.0-1
286 days ago
7 downloads
1.0.0-1
363 days ago
20 downloads
Dependencies
lua
>= 5.1
Manifests
root