Lecturas compartidas el 28 de abril de 2024
#ITP #Lean4 #IsabelleHOL #HOL_Light #Math
Buenos días
Las lecturas compartidas en Mastodon el 28 de abril de 2024 son
Lecturas compartidas el 27 de abril de 2024. #ITP #Lean4 #IsabelleHOL #PVS #Math #AI #Education
Libro "Calculemus (Demostraciones con Lean4)" (versión 27-abr-24). #ITP #LeanProver #Lean4 #Matemáticas
Mechanizing the CMP abstraction for parameterized verification. ~ Yongjian Li, Bohua Zhan, Jun Pang. #ITP #IsabelleHOL
Formalization of the telegrapher’s equations using higher-order-logic theorem proving. ~ Elif Deniz, Adnan Rashid, Osman Hasan, Sofiène Tahar. #ITP #HOL_Light #Math
También están en GitHub.
Saludos, José A.
"La gente nunca está convencida de tus razones, de tu sinceridad, de tu seriedad o tus sufrimientos, salvo si te mueres." ~ Albert Camus (1913-1960).
