Lecturas compartidas el 1 de mayo de 2024
#ITP #Lean4 #IsabelleHOL #Agda #Math
Buenos días
Las lecturas compartidas en Mastodon el 1 de mayo de 2024 son
Lecturas compartidas el 30 de abril de 2024. #ITP #Lean4 #IsabelleHOL #Coq #ATP #SMT #FunctionalProgramming #Haskell #Python #Logic #Math
#Calculemus: Demostraciones con Lean4 e Isabelle/HOL de "f⁻¹[⋃ᵢ Bᵢ] = ⋃ᵢ f⁻¹[Bᵢ]". #ITP #Lean4 #IsabelleHOL #Math
The Fermat's last theorem project. ~ Kevin Buzzard. #ITP #Lean4 #Math
Formalising and computing the fourth homotopy group of the 3-sphere in Cubical Agda. ~ Axel Ljungström, Anders Mörtberg. #ITP #Agda #Math
También están en GitHub.
Saludos, José A.
"El mundo hay que fabricárselo uno mismo, hay que crear peldaños que te suban, que te saquen del pozo. Hay que inventar la vida porque acaba siendo verdad." ~ Ana María Matute (1925-2014).
