IssueHuntenjoysmath/
vscode-lean
An extension for VS Code which provides support for the Lean language.
Owners:
$0.00
USD raised
Recent activities
enjoysmath added the repository
over 4 years ago
© 2019 BoostIO, Inc.
enjoysmath/
An extension for VS Code which provides support for the Lean language.
USD raised
Recent activities
© 2019 BoostIO, Inc.