Lecturas compartidas el 15 de mayo de 2024
#ITP #Lean4 #IsabelleHOL #PVS #Coq #Math
Buenos días
Las lecturas compartidas en Mastodon el 15 de mayo de 2024 son
Lecturas compartidas el 14 de mayo de 2024. #ITP #Lean4 #IsabelleHOL #Haskell #Python #Math #Emacs #OrgMode #Elisp #ChatGPT
#Calculemus: Demostraciones con Lean4 e Isabelle/HOL de "Si G un grupo y a ∈ G, entonces (a⁻¹)⁻¹ = a". #ITP #Lean4 #IsabelleHOL #Math
Towards nominal AC-unification. ~ Gabriel Ferreira Silva. #PhDThesis #ITP #PVS
Multris: Functional verification of multiparty message passing in separation logic. ~ Jonas Kastberg Hinrichsen, Jules Jacobs, Robbert Krebbers. #ITP #Coq
También están en GitHub.
Saludos, José A.
"He descubierto que toda la maldad humana proviene de la incapacidad del ser humano de sentarse en calma en una habitación." ~ Blaise Pascal (1623-1662).
