Loogle Lean

This extension is a vscode front end for accessing loogle

Usage

This extension has exactly one command Loogle Search. This command can be accessed in one of three ways:

1. The keyboard shortcut : Ctrl+Shift+L (Mac: Cmd+Shift+L)
2. The search icon on the editor tab next to the lean icon
3. Open the vscode command palette with Ctrl+Shift+P and search for loogle.