Lecturas compartidas el 19 de mayo de 2024

#ITP #Lean4 #IsabelleHOL #Haskell #Python #Logic #Math

Buenos días

Las lecturas compartidas en Mastodon el 19 de mayo de 2024 son

• Lecturas compartidas el 18 de mayo de 2024. #ITP #Lean4 #IsabelleHOL #Coq #Agda #Physics #Math #Programming #Python

• Libro "Calculemus (Demostraciones con Lean4)" (versión 18-mayo-24). #ITP #Lean4 #Math

• #Exercitium: Diferencia simétrica. #Haskell #Python #Matemáticas

• Bridging syntax and semantics of Lean expressions in E-Graphs. ~ Marcus Rossel and Andrés Goens. #ITP #Lean4

• PSPSP: A tool for automated verification of stateful protocols in Isabelle/HOL. ~ Andreas Viktor Hess, Sebastian Alexander Mödersheim, Achim D. Brucker and Anders Schlichtkrull. #ITP #IsabelleHOL

• Metamathematics. ~ David Marker. #Logic #Math

También están en GitHub.

Saludos, José A.

---

"Este es el verdadero secreto de la vida: Estar completamente comprometido con lo que haces en el aquí y ahora. Y en lugar de llamarlo trabajo, date cuenta de que es un juego." ~ Alan Watts (1915-1973).