Skip to content

loogle-search

Search Mathlib for lemmas by type signature pattern using Loogle.

Repository Source folder

Details

Path
skills/loogle-search/SKILL.md

FAQ