How do I cite mathlib? #

If you use mathlib in your work, please cite it using the following reference:

The mathlib Community. The Lean Mathematical Library. In Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP '20), January 20–21, 2020, New Orleans, LA, USA. ACM, 2020. DOI: 10.1145/3372885.3373824

Licence #

Both the mathlib library and this website are distributed under open-source licences: the Apache 2.0 for mathlib and the MIT licence for this website.

BibTeX #

@inproceedings{mathlib2020,
  author = {The mathlib {C}ommunity},
  title = {The {L}ean {M}athematical {L}ibrary},
  booktitle = {Proceedings of the 9th {ACM} {SIGPLAN} {I}nternational
               {C}onference on {C}ertified {P}rograms and {P}roofs},
  series = { {CPP} '20},
  year = {2020},
  month = {{J}anuary},
  location = {{N}ew {O}rleans, {LA}, {USA}},
  publisher = { {ACM} },
  doi = {10.1145/3372885.3373824},
  url = {https://doi.org/10.1145/3372885.3373824}
}

arXiv preprint #

The arXiv preprint is available at arxiv.org/abs/1910.09336.

GitHub citation #

The mathlib4 repository also contains a CITATION.md file, which GitHub recognizes. You can also click the "Cite this repository" link on the repository page to view the above BibTeX citation there.