GitHub repository: kovach/lean.nvim
Description: neovim support for the Lean theorem prover