An extension for VS Code which provides support for the Lean language.
Primary LanguageTypeScriptApache License 2.0Apache-2.0