by criticalline
Provides search capabilities for Lean Mathlib 4 documentation by downloading and parsing declaration data to find theorems, definitions, and mathematical constructs with regex-based search functionality.
Get the fastest-growing projects, useful MCP servers, and technical reads in one weekly email.