Skip to content

Shreyas4991/loogle-lean

Folders and files

NameName
Last commit message
Last commit date

Latest commit

aeda70a · Sep 11, 2024

History

33 Commits
Nov 4, 2023
Nov 20, 2023
Nov 4, 2023
Nov 4, 2023
Nov 4, 2023
Sep 11, 2024
Nov 4, 2023
Sep 11, 2024
Sep 11, 2024
Sep 11, 2024
Nov 4, 2023
Nov 4, 2023
Nov 4, 2023

Repository files navigation

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.

About

No description or website provided.

Topics

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published