Lecturas compartidas el 27 de abril de 2024
#ATP #Prover9 #FunctionalProgramming #Haskell #Python #Math
Buenos días
Las lecturas compartidas en Mastodon el 27 de abril de 2024 son
La semana en Calculemus (Demostraciones con Lean4 e Isabelle/HOL) (27-abr-24). #ITP #Lean4 #IsabelleHOL #Math
#Exercitium: Números amigos. #Haskell #Python #Matemáticas
Prover9 unleashed: Automated configuration for enhanced proof discovery. ~ Kristina Aleksandrova, Jan Jakubuv, Cezary Kaliszyk. #ATP #Prover9
Serokell’s Work on GHC: Dependent types, Part 3. #FunctionalProgramming #Haskell
También están en GitHub.
Saludos, José A.
"La felicidad del cuerpo se funda en la salud. La del entendimiento en el saber." ~ Tales de Mileto (-624. -546).