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
124
$
luarocks install lean.nvim
Versions
2024.12.2-1
191 days ago
41 downloads
2024.12.1-1
203 days ago
5 downloads
2024.10.1-1
257 days ago
27 downloads
2024.9.2-1
282 days ago
17 downloads
2024.9.1-1
286 days ago
7 downloads
1.1.0-1
287 days ago
7 downloads
1.0.0-1
364 days ago
20 downloads
Dependencies
lua
>= 5.1
Manifests
root