Lecturas compartidas el 4 de abril de 2024
#ITP #IsabelleHOL #Lean4 #Mathlib #PVS #FunctionalProgramming #Haskell #Python
Buenos días
Las lecturas compartidas en Mastodon el 4 de abril de 2024 son
Lecturas compartidas el 3 de abril de 2024. #ITP #LeanProver #IsabelleHOL #Coq #HOL4 #Haskell #LogicProgramming #Prolog #Python #Logic #Math #AI #LLMs #Autoformalization
Libro de "Ejercicios de programación con Python" (versión del 2-abril-2024). #Python #Matemáticas #Algorítmica
#Calculemus: Demostraciones con Lean4 e Isabelle/HOL: "Si u ⊆ v, entonces f⁻¹[u] ⊆ f⁻¹[v]". #ITP #LeanProver #Lean4 #IsabelleHOL #Matemáticas
#Exercitium: Caminos en un triángulo. #Haskell #Python #Matemáticas
Combinatorial applications of the compactness theorem. ~ Fabián Fernando Serrano Suárez, Mauricio Ayala-Rincón, Thaynara Arielly de Lima. #ITP #IsabelleHOL
Certified first-order AC-unification and applications. ~ Mauricio Ayala-Rincón et als. #ITP #PVS
Isabelle-verified correctness of Datalog programs for program analysis. ~ Anders Schlichtkrull, René Rydhof Hansen, Flemming Nielson. #ITP #IsabelleHOL
All tactics in mathlib4. ~ Haruhisa Enomoto. #ITP #LeanProver #Mathlib
También están en GitHub.
Saludos, José A.
"¿Hay algo más loco que gustarse a sí mismo, admirarse a sí mismo? Y, no obstante, ¿qué gentileza, qué gracia, qué dignidad tendría lo que hicieras si no estuvieras satisfecho de ti mismo?. El amor a uno mismo es la sal de la vida." ~ Erasmo de Róterdam (1466-1536).