sk Skill · vibeeval
loogle-search
Search Mathlib for lemmas by type signature pattern using Loogle.
Open on skills.sh ↗read 2026-09-19
- installs 8w
- 0
- 30-day movement
- starts with the next reading
- Related entries
- 2
- Connections
- 0
leanbashC#
- Host repository
- vibeeval/vibecosystem
- Host stars
- 534
- Host language
- C#