The readings shared in Bluesky on 29 April 2025 are

• Improving mathematical proving skills through interactive theorem proving. ~ Sana Stojanović Đurđević, Andrija Urošević, Filip Marić (2024). #ITP #IsabelleHOL #Math
• Formalising the local compactness of the adele ring. ~ Salvatore Mercuri. #ITP #LeanProver #Math