sk Skill · parcadei
loogle-search
Search Mathlib for lemmas by type signature pattern
Open on skills.sh ↗read 2026-09-17
- installs 8w
- 23
- 30-day movement
- starts with the next reading
- Related entries
- 2
- Connections
- 0
leanbashPython
- Host repository
- parcadei/Continuous-Claude-v3
- Installs, lifetime
- 478
- Installs, 8 weeks
- 23
- Host stars
- 3,942
- Host language
- Python