List of all attributes with explanations

Stream: new members

[Thomas Vigouroux]

Hey,
Is there a list of all the attributes together with their documentation ?
I could not find it anywhere...

[Edward van de Meent]

when importing mathlib, #help attribute provides a list in the infoview, but i do agree that a webpage would be better

[Thomas Vigouroux]

That does the job, thanks !

[Asei Inoue]

@Thomas Vigouroux
here: https://seasawher.github.io/mathlib4-help/attributes/