Geeks
DenisGorbachev
/
vscode-lean4-language-configuration
A custom language configuration for Lean 4 in VSCode
Primary Language
JavaScript
MIT License
MIT
vscode-lean4-language-configuration GitHub
Markdown
Readme
0
Issues
0
Stargazers
2
Watchers
Watchers
DenisGorbachev
eemailme