Cite Coq Library Materials

Hi,

May I know how do I cite materials from Coq Library? For example, I would like to cite the materials from Standard Library | The Coq Proof Assistant, how can I do that? Is there any way to generate the bibtex format?

Any help will be appreciated! Thank you!