Lean Mathlib 4 Documentation

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.

Enables searching through Lean Mathlib 4 documentation by downloading and parsing declaration data from the official Lean community documentation site. Provides regex-based search functionality to find theorems, definitions, and other mathematical constructs by name, returning formatted results with documentation links and type information. Designed for mathematicians and formal verification practitioners working with Lean who need quick access to Mathlib's extensive library of mathematical formalization.