DenisGorbachev/vscode-lean4-language-configuration
A custom language configuration for Lean 4 in VSCode
JavaScriptMIT
No issues in this repository yet.
A custom language configuration for Lean 4 in VSCode
JavaScriptMIT
No issues in this repository yet.