neovim support for the Lean theorem prover
Primary LanguageLuaMIT LicenseMIT
No one’s star this repository yet.