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

• Lecturas compartidas el 19 de junio de 2024. #ITP #Lean4 #IsabelleHOL #Math #FunctionalProgramming #Haskell #LLMs
• #Calculemus: Demostraciones con Lean4 e Isabelle/HOL de "La equipotencia es una relación simétrica". #ITP #Lean4 #IsabelleHOL #Math
• Transforming optimization problems into disciplined convex programming form. ~ Ramon Fernández Mir, Paul B. Jackson, Siddharth Bhat, Andrés Goens, Tobias Grosser. #ITP #Lean4 #Math
• Yet another formal theory of probabilities (with an application to random sampling). ~ Reynald Affeldt et als. #ITP #Coq #Math
• A zoo of continuity properties in constructive type theory. ~ Martin Baillon et als. #ITP #Coq
• PutnamBench: A multilingual competition-mathematics benchmark for formal theorem-proving. ~ George Tsoukalas, Jasper Lee, John Jennings, Jimmy Xin, Michelle Ding, Michael Jennings, Amitayush Thakur, Swarat Chaudhuri. #ITP #Coq #IsabelleHOL #Lean4
• OnlineProver: A proof assistant for online teaching of formal logic and semantics. ~ Joachim Tilsted Kristensen et als. #Logic