Search the collection

Find an article, a mathematical concept, or a Lean declaration.

Enter a term to search the handbook and generated Lean reference.

You can also use doc-gen4’s full declaration search →