Lecturas compartidas el 8 de abril de 2024
#ITP #Lean4 #Coq #IsabelleHOL #Math
Buenos días
Las lecturas compartidas en Mastodon el 8 de abril de 2024 son
Lecturas compartidas el 7 de abril de 2024. #ITP #IsabelleHOL #FunctionalProgramming #Haskell
#Calculemus: Demostraciones con Lean4 e Isabelle/HOL: "f⁻¹[A ∪ B] = f⁻¹[A] ∪ f⁻¹[B] ". #ITP #LeanProver #Lean4 #IsabelleHOL #Matemáticas
From mechanized semantics to verified compilation: the Clight semantics of CompCert. ~ Sandrine Blazy. #ITP #Coq
También están en GitHub.
Saludos, José A.
"Que la comida sea tu alimento y el alimento tu medicina." ~ Hipócrates.
