The readings shared in Bluesky on 19 April 2025 are

• Knuckledragger: A low barrier proof assistant. ~ Philip Zucker. #ITP #SMT #Z3 #Python
• Neural theorem proving tutorial. ~ Sean Welleck. #MachineLearning #ITP #LeanProver
• Listing prime numbers periodically. ~ Han-Lin Li, Shu-Cherng Fang, Way Kuo, Nianrui Lin. #Math #Algorithms
• #Exercitium: Ordenada cíclicamente. #Haskell #ProgramaciónFuncional
• #Calculemus: Demostraciones con Lean4 y con Isabelle/HOL de "f[s ∩ t] ⊆ f[s] ∩ f[t]​". #LeanProver #IsabelleHOL #Math