The readings shared in Bluesky on 20 June 2025 are

• Lean won the SIGPLAN Programming Languages Software Award 2025. ~ Adolfo Neto. #ITP #LeanProver
• Theorems about abelian categories (in Lean). ~ Markus Himmel, Joël Riou. #ITP #LeanProver #Math
• Lean obtiene el prestigioso «SIGPLAN Programming Languages Software Award 2025». #ITP #LeanProver