citing Lean

Stream: new members

[Michael Beeson]

What is the preferred way to cite Lean in a published paper? Bibtex if you have it.

[Marc Huisinga]

most people seem to cite https://leanprover.github.io/papers/system.pdf

[Rob Lewis]

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.