joneugster/vscode-lean4
Visual Studio Code extension for the Lean 4 proof assistant
TypeScriptApache-2.0
Watchers
No one’s watching this repository yet.
Visual Studio Code extension for the Lean 4 proof assistant
TypeScriptApache-2.0
No one’s watching this repository yet.