/lean.nvim

Neovim support for the Lean theorem prover

Primary LanguageLuaMIT LicenseMIT

Watchers