loogle-search

Search Mathlib for lemmas by type signature pattern

Industry

productivity

License

Unverified

Source repo

parcadei/Continuous-Claude-v3 · ★ 3,865

Source file

.claude/skills/loogle-search/SKILL.md

不会安装？看中文图文教程 →