Lecturas compartidas el 25 de abril de 2024
#ITP #Lean4 #IsabelleHOL #Coq #ACL2 #Math
Buenos días
Las lecturas compartidas en Mastodon el 25 de abril de 2024 son
Lecturas compartidas el 24 de abril de 2024. #ITP #Lean4 #IsabelleHOL #PVS #Math #AI #Education
#Calculemus: Demostraciones de "f[⋃ᵢAᵢ] = ⋃ᵢf[Aᵢ]" con Lean4 e Isabelle/HOL. #ITP #Lean4 #IsabelleHOL #Math
The number of primitive words of unbounded exponent in the language of an HD0L-system is finite. ~ Karel Klouda, Štěpán Starosta. #ITP #IsabelleHOL
Error credits: Resourceful reasoning about error bounds for higher-order probabilistic programs. ~ Alejandro Aguirre et als. #ITP #Coq
On the systematic creation of faithfully rounded commutative truncated booth multipliers. ~ Theo Drane, Samuel Coward, Mertcan Temel, Joe Leslie-Hurd. #ITP #ACL2
También están en GitHub.
Saludos, José A.
"Puedes mantenerte joven mientras aprendas." ~ Emily Dickinson (1830-1886).
