Citing Mathlib 4

Stream: mathlib4

[Geoffrey Irving]

Is there a standard way to cite Mathlib 4 in a paper (we're about to put something on arxiv)?

[Kevin Buzzard]

There was a canonical way to cite mathlib3 (the anonymous author paper) but I don't know if this is still valid

[Rob Lewis]

I think the old way is still canonical until a new way rises

[Rob Lewis]

https://dl.acm.org/doi/10.1145/3372885.3373824 (conveniently with no 3 or 4 in the title!)