Readings shared August 3, 2025
The readings shared in Bluesky on 3 August 2025 are
- AI at IMO 2025: a round-up. ~ Kevin Buzzard. #AI #LLMs #ITP #LeanProver #Math #IMO
- Formalization of harmonic analysis in Lean. ~ Wouter Bosse. #ITP #LeanProver #Math
- #Exercitium: Problemas de programación con Haskell (diciembre de 2017). #Haskell #ProgramaciónFuncional #Matemáticas