Las lecturas compartidas en Mastodon el 7 de junio de 2024 son

• Lecturas compartidas el 6 de junio de 2024. #ITP #Lean4 #IsabelleHOL #HOL_Light #Math
• #Calculemus: Demostraciones con Lean4 e Isabelle/HOL de "Si g ∘ f es inyectiva, entonces f es inyectiva". #ITP #Lean4 #IsabelleHOL #Math
• Mechanized analysis of Anselm's modal ontological argument. ~ John Rushby. #ITP #PVS
• Lean Workbook: A large-scale Lean problem set formalized from natural language math problems. ~ Huaiyuan Ying, Zijian Wu, Yihan Geng, Jiayu Wang, Dahua Lin, Kai Chen. #LLMs #ITP #Lean4
• Calculating compilers effectively (Functional Pearl). ~ Zac Garby, Graham Hutton, Patrick Bahr. #FunctionalProgramming #Haskell
• Working towards a more stable Template Haskell. ~ Teo Camarasu. #FunctionalProgramming #Haskell
• Andrew Granville: Accepted proofs: Objective truth, or culturally robust? ~ Gil Kalai. #Math
• A closer look at logical reasoning with LLMs: The choice of tool matters. ~ Long Hei Matthew Lam, Ehsan Shareghi. #LLMs #ATP #Prover9 #SMT #Z3