Zulip Chat Archive

Stream: new members

Topic: citing Lean

view this post on Zulip 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.

view this post on Zulip Marc Huisinga (Dec 01 2020 at 20:51):

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

view this post on Zulip 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