The readings shared in Bluesky on 20 April 2025 are

• Readings shared April 19, 2025. #Algorithms #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LeanProver #MachineLearning #Math #Python #SMT #Z3
• Gridbach: Un proyecto para comprobar de forma distribuida la famosa conjetura de Goldbach. ~ @Alvy #Matemáticas
• Gridbach: The grid-computing system that calculates verification of the mathematical problem "Goldbach conjecture". #Math
• #Exercitium: Órbita prima. #Haskell #ProgramaciónFuncional #Matemáticas
• #Calculemus: Demostraciones con Lean4 y con Isabelle/HOL de "Si f es inyectiva, entonces f[s] ∩ f[t] ⊆ f[s ∩ t]​". #LeanProver #IsabelleHOL #Math