Lecturas compartidas el 2 de abril de 2024
#ATP #Coq #Haskell #ITP #IsabelleHOL #Lean4 #LeanProver #Logic #Math #Python
Buenos días
Las lecturas compartidas en Mastodon el 2 de abril de 2024 son
Lecturas compartidas el 1 de abril de 2024. #AI #CompSci #DeepLearning #GPT #Haskell #ITP #LLMs #LeanProver #MachineLearning #Math #NeuralNetwork #Python
El mes de abril en Exercitium (Ejercicios con Haskell y Python). #Haskell #Python #Matemáticas #Algorítmica
#Calculemus: Demostraciones con Lean4 e Isabelle/HOL: "Si f es suprayectiva, entonces u ⊆ f[f⁻¹[u"]]. #ITP #LeanProver #Lean4 #IsabelleHOL #Matemáticas
Resolution proving I. ~ Philip Zucker (@sandmouth@types.pl). #Logic #ATP #Python
Conditional separation as a binary relation. A Coq assisted proof. ~ Jean-Philippe Chancelier, Michel de Lara , Benjamin Heymann. #ITP #Coq
También están en GitHub.
Saludos, José A.
"La gente buena, si se piensa un poco en ello, ha sido siempre gente alegre." ~ Ernest Hemingway (1899-1961).
