Las lecturas compartidas en Mastodon el 10 de mayo de 2024 son

• Lecturas compartidas el 9 de mayo de 2024. #ITP #Lean4 #IsabelleHOL #FunctionalProgramming #Haskell #Python #Math #CategoryTheory
• #Calculemus: Demostraciones con Lean4 e Isabelle/HOL de la unicidad del elemento neutro en los grupos. #ITP #Lean4 #IsabelleHOL #Math
• #Exercitium: Diagonales principales de una matriz. #Haskell #Python #Matemáticas
• Verifying a SAT solver from ground up. ~ Mathias Fleury. #ITP #IsabelleHOL #SAT_solver
• Solving recurrence relations. ~ John Mount. #Python #Math