Lecturas compartidas el 10 de mayo de 2024
#ITP #Lean4 #IsabelleHOL #SAT_solver #FunctionalProgramming #Haskell #Python #Math
Buenos días
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
También están en GitHub.
Saludos, José A.
"Así como no sentimos la salud de todo nuestro cuerpo sino solo el punto donde nos aprieta el zapato, tampoco pensamos en todos nuestros asuntos que marchan perfectamente bien sino en alguna pequeñez insignificante que nos disgusta." ~ Arthur Schopenhauer (1788-1860).