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