Lecturas compartidas el 6 de abril de 2024

#ITP #LeanProver #Coq #FunctionalProgramming #Haskell #Autoformalization #Math

Buenos días

Las lecturas compartidas en Mastodon el 6 de abril de 2024 son

• Lecturas compartidas el 5 de abril de 2024. #FunctionalProgramming #Haskell

• The Radon-Nikodým theorem and the Lebesgue-Stieltjes measure in Coq. ~ Yoshihiro Ishiguro, Reynald Affeldt. #ITP #Coq #Math

• GFLean: An autoformalisation framework for Lean via GF. ~ Shashank Pathak. #Lean #Autoformalization #FunctionalProgramming #Haskell

También están en GitHub.

Saludos, José A.

---

"Una forma fiable de hacer creer a la gente en falsedades es la repetición frecuente, porque la familiaridad no se distingue fácilmente de la verdad." ~ Cleóbulo de Lindos (630 a.n.e - 560 a.n.e).