16 Forks
124 Stars
124 Watchers

lean.nvim

neovim support for the Lean theorem prover

How to download and setup lean.nvim

Open terminal and run command
git clone https://github.com/Julian/lean.nvim.git
git clone is used to create a copy or clone of lean.nvim repositories. You pass git clone a repository URL.
it supports a few different network protocols and corresponding URL formats.

Also you may download zip file with lean.nvim https://github.com/Julian/lean.nvim/archive/master.zip

Or simply clone lean.nvim with SSH
[email protected]:Julian/lean.nvim.git

If you have some problems with lean.nvim

You may open issue on lean.nvim support forum (system) here: https://github.com/Julian/lean.nvim/issues