Lecturas compartidas el 24 de mayo de 2024
#ITP #Lean4 #IsabelleHOL #Coq #Math
Buenos días
Las lecturas compartidas en Mastodon el 24 de mayo de 2024 son
Lecturas compartidas el 23 de mayo de 2024. #ITP #Lean4 #IsabelleHOL #Coq #FunctionalProgramming #Haskell #Math #AI
#Calculemus: Demostraciones con Lean4 e Isabelle/HOL de "Los supremos de las sucesiones crecientes son sus límites". #ITP #Lean4 #IsabelleHOL #Math
Towards mechanised consensus in Isabelle. ~ Elliot Jones and Diego Marmsoler. #ITP #IsabelleHOL
Towards formally specifying and verifying smart contract upgrades in Coq. ~ Derek Sorensen. #ITP #Coq
También están en GitHub.
Saludos, José A.
"Lo que somos hoy procede de nuestros pensamientos de ayer y nuestros pensamientos presentes forjan nuestra vida de mañana: nuestra vida es la creación de nuestros pensamientos." ~ Buda Gautama (-563, -483).
