By parcadei

loogle-search

parcadei485 installs

Find Mathlib lemmas by the types you need.

About this skill

Visibility: Public
Repository: parcadei/continuous-claude-v3
Language: English
License: MIT (from GitHub repository)
Created: Oct 16, 2026
Updated: Oct 16, 2026
Files: 1