AI & Machine Learning
Loogle Search
Search Mathlib for lemmas by type signature pattern
- Publisher / source
- parcadei/Continuous-Claude-v3 (found on skills.sh)
- Upstream record
- parcadei/Continuous-Claude-v3
- Version
- Version 3
- Published
- Publication review
- Approved for publication · recorded passed scan 2026-11-02
- Content fingerprint
e96e223ac62ee78d2238dc594203ba12e1bfa20de05e44b40866d6b1e5f2bf45