DenisGorbachev/vscode-lean4-language-configuration
A custom language configuration for Lean 4 in VSCode
JavaScriptMIT
Stargazers
No one’s star this repository yet.
A custom language configuration for Lean 4 in VSCode
JavaScriptMIT
No one’s star this repository yet.