Las lecturas compartidas en Mastodon el 21 de julio de 2024 son

• Lecturas compartidas el 20 de julio de 2024. #ITP #Lean4 #IsabelleHOL #Coq #FunctionalProgramming #Haskell #Logic #CompSci
• A gentle introduction to Isabelle and Isabelle/HOL. ~ Gunnar Teege. #ITP #IsabelleHOL
• A tree rewriting system for the Reflection Calculus. ~ Sofía Santiago-Fernández, Joost J. Joosten, David Fernández-Duque. #ITP #Coq #Logic
• Automated proof tactics for model transformation. ~ Julien Cohen, Massimo Tisi, Remi Douence. #ITP #Coq
• Liquid amortization: Proving amortized complexity with LiquidHaskell (Functional pearl). ~ Jan van Brügge. #FunctionalProgramming #Haskell #LiquidHaskell
• Monumental proof settles geometric Langlands conjecture. ~ Erica Klarreich (@EricaKlarreich). #Math