Stream: new members
Topic: citing Lean
Michael Beeson (Dec 01 2020 at 20:43):
What is the preferred way to cite Lean in a published paper? Bibtex if you have it.
Marc Huisinga (Dec 01 2020 at 20:51):
most people seem to cite https://leanprover.github.io/papers/system.pdf
Rob Lewis (Dec 01 2020 at 20:52):
There's a Lean .bib file at https://leanprover-community.github.io/papers.html . The Lean Theorem Prover (system description) for Lean, and The Lean Mathematical Library for mathlib are standard.
Last updated: May 06 2021 at 22:13 UTC