Buenos días
Las lecturas compartidas en Mastodon el 14 de abril de 2024 son
Lecturas compartidas el 13 de abril de 2024. #ITP #IsabelleHOL #FunctionalProgramming #Haskell
Course: Interactive theorem proving. ~ Jasmin Blanchette et als. #ITP #Lean4
Mathlib4 tactics. ~ Kitamado. #ITP #Lean4 #Mathlib
También están en GitHub.
Saludos, José A.
"Cualquier vida, por larga y complicada que sea, en realidad consiste en un solo momento: el momento en que un hombre sabe para siempre quién es." ~ Jorge Luis Borges (1899-1986).