/vscode-lean4-language-configuration

A custom language configuration for Lean 4 in VSCode

Primary LanguageJavaScriptMIT LicenseMIT

Stargazers

No one’s star this repository yet.