Papers on Lean

Stream: lean4

[Wrenna Robson]

Is there a central list of papers about Lean, mathlib, etc.? I want to review the literature on an aspect of the topic.

[Andrew Yang]

A fair portion of such papers are listed here: https://leanprover-community.github.io/papers.html