academicresearch
loogle-search
Search Mathlib for lemmas by type signature pattern
maintainer
parcadei
Обновлено 22.01.2026
Звёзды
3683
Форки
287
quick start
Installation and usage
Search Mathlib for lemmas by type signature pattern
Установка
$ install --globalskills.sh
Использование
После установки вы можете использовать этот skill, выполнив следующую команду в терминале:
skills use loogle-search