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

• Lecturas compartidas el 15 de junio de 2024. #ITP #Lean4 #Rocq_Prover #Autoformalization #LLMs #Math
• La semana en Calculemus (Demostraciones con Lean4 e Isabelle/HOL) (15-junio-24). #ITP #Lean4 #IsabelleHOL #Math
• Libro "Calculemus (Demostraciones con Lean4)" (versión 16-junio-24). #ITP #Lean4 #Math
• Propositional calculus in Coq. ~ Floris van Doorn. #ITP #Coq #Logic #Math
• Foundations of programming languages. ~ Paul Downen. #CompSci
• Quantifier elimination — dense linear orders. ~ Joel David Hamkins. #Math
• Programming with math | The lambda calculus. ~ Eyesomorphic. #LambdaCalculus