neovim support for the Lean theorem prover
Primary LanguageLuaMIT LicenseMIT
No issues in this repository yet.