loogle-search
parcadei/Continuous-Claude-v3/.claude/skills/loogle-search
PlatformClaude Code
Search Mathlib for lemmas by type signature pattern
Claude Code
parcadei/Continuous-Claude-v3/.claude/skills/loogle-search
Search Mathlib for lemmas by type signature pattern