This webpage is about Lean 3, which is currently being deprecated, while the community is migrating to Lean 4.

Papers

Papers about Lean

Papers about mathlib

Formalization papers using Lean

You can find all those papers and more in lean.bib.