描述
Search Mathlib for lemmas by type signature pattern
研究学习 / 检索整理
loogle-search
loogle-search
安装量 331GitHub Stars 3,771更新时间 2026年5月16日
安全审计
使用前的风险提示
规则审计
未审计更新 1年1月1日
智能审计
未审计更新 1年1月1日
looglesearchmathlibforlemmastypesignaturepatternfindinglemmayouknow