Standard library reference

Stream: lean4

[Spearman]

Is there a standard library API reference? This section is empty https://leanprover.github.io/reference/libraries.html

[Kim Morrison]

Currently no, sorry. Later this year we are beginning serious work on reference manuals!

[Utensil Song]

I've been using Mathlib docs to search for everything in core, Std, Batteries when I do general programming in Lean, with an educated guess on the naming. Usually you want to search only definitions, to exclude theorems and such.

[Shreyas Srinivas]

You can use loogle to look up definitions and where they are located

[Shreyas Srinivas]

I find that it works faster than the docs search for the subset of lean libraries I use