两个追踪 Lean 动态的实用站点：Papers With Lean 与 Lean Weekly

leanprover 官方推荐 Soonho Kong 建立并维护的 Papers With Lean 与 Lean Weekly，用于追踪 Lean 生态动态。