Find theorems in Mathlib4 using natural language query
Tip: Query Augmentation augments your query to increase the chance to find relevant results.
LeanSearch collects your search terms and your feedback to improve its search quality.