Skip to main content

loogle

Enables searching Lean 4 and Mathlib theorems and definitions using type signatures or patterns through the Loogle API.

Install this skill

or
loogle1 files

Comments

Sign in to leave a comment.

No comments yet. Be the first to comment!
Installation guide →