lean.nvim

neovim support for the Lean theorem prover

$ luarocks install lean.nvim

Versions

1.0.0-113 days ago1 download

Dependencies

lua >= 5.1

Manifests