Total downloads
653
ShreyasSrinivas.loogle-lean
Loogle Lean
7d gain
8
Rolling weekly delta
Rating
-
/ 5
0 reviews
Version
0.0.9
Latest published
Activity
Extension trends
Manifest
Metadata
- Namespace
- ShreyasSrinivas
- Name
- loogle-lean
- License
- -
- Homepage
- https://github.com/Shreyas4991/loogle-lean#readme
- Repository
- https://github.com/Shreyas4991/loogle-lean.git
- Reviews
- 0
Taxonomy
Categories
Description
This extension implements support for using loogle inside vscode in any lean file
Archive