Skip to content

Latest commit

 

History

History
24 lines (20 loc) · 677 Bytes

CITATION.md

File metadata and controls

24 lines (20 loc) · 677 Bytes

Citing mathlib

If you use mathlib in your work, please cite:

The mathlib Community. The Lean Mathematical Library. CPP 2020. https://doi.org/10.1145/3372885.3373824

BibTeX

@inproceedings{mathlib2020,
  author    = {{The mathlib Community}},
  title     = {The {L}ean {M}athematical {L}ibrary},
  booktitle = {Proceedings of the 9th {ACM} {SIGPLAN} International Conference
               on Certified Programs and Proofs},
  series    = {CPP 2020},
  publisher = {ACM},
  address   = {New Orleans, LA, USA},
  year      = {2020},
  month     = jan,
  doi       = {10.1145/3372885.3373824},
  url       = {https://doi.org/10.1145/3372885.3373824}
}