Readings shared July 15, 2025
The readings shared in Bluesky on 15 July 2025 are
- Using Lean like an external SMT solver from Python. ~ Philip Zucker. #ITP #LeanProver
- IMO 1996 P3: Lean 4 formalization. ~ David Renshaw. #ITP #LeanProver #Math
- #Exercitium: Problemas de programación con Haskell de junio de 2021. #Haskell #FunctionalProgramming
- #Exercitium: Problemas de programación con Haskell de mayo de 2021. #Haskell #FunctionalProgramming
- #Exercitium: Problemas de programación con Haskell de abril de 2021. #Haskell #FunctionalProgramming
- #Exercitium: Problemas de programación con Haskell de marzo de 2021. #Haskell #FunctionalProgramming