Buenos días
Las lecturas compartidas en Mastodon el 29 de abril de 2024 son
Lecturas compartidas el 28 de abril de 2024. #ITP #Lean4 #IsabelleHOL #HOL_Light #Math
#Exercitium: Primos equidistantes. #Haskell #Python #Matemáticas
También están en GitHub.
Saludos, José A.
"Una idea falsa, pero clara y precisa, tendrá más poder en el mundo que una idea verdadera y compleja." ~ Alexis de Tocqueville (1805-1859).