lean.nvim

neovim support for the Lean theorem prover

Uploader

License

MIT

Homepage

github.com/Julian/lean.nvim

Downloads

24

$ luarocks install lean.nvim

Versions

2024.9.2-124 days ago8 downloads

2024.9.1-129 days ago1 download

1.1.0-130 days ago1 download

1.0.0-1107 days ago14 downloads

Dependencies

lua >= 5.1

Manifests