Zulip Chat Archive
Stream: new members
Topic: List of all attributes with explanations
Thomas Vigouroux (Aug 30 2024 at 07:43):
Hey,
Is there a list of all the attributes together with their documentation ?
I could not find it anywhere...
Edward van de Meent (Aug 30 2024 at 08:10):
when importing mathlib, #help attribute
provides a list in the infoview, but i do agree that a webpage would be better
Thomas Vigouroux (Aug 30 2024 at 08:19):
That does the job, thanks !
Asei Inoue (Nov 17 2024 at 08:56):
@Thomas Vigouroux
here: https://seasawher.github.io/mathlib4-help/attributes/
Last updated: May 02 2025 at 03:31 UTC