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

• Lecturas compartidas el 15 de mayo de 2024. #ITP #Lean4 #IsabelleHOL #PVS #Coq #Math
• #Calculemus: Demostraciones con Lean4 e Isabelle/HOL de "Si G es un grupo y a, b, c ∈ G tales que a·b = a·c, entonces b = c". #ITP #Lean4 #IsabelleHOL #Math
• Course: Logic in Software Engineering (Lean). ~ Alexander Kurz. #ITP #Lean4 #Logic
• Interactive theorem proving:Introduction to Agda. ~ Jeremy Siek. #ITP #Agda
• Implementing categorical notions of partiality and delay in Agda. ~ Leon Vatthauee. #ITP #Agda #FunctionalProgramming #Haskell
• Evaluating Large Language Model performance on Haskell. ~ Andrew Chen. #LLMs #Haskell #FunctionalProgramming
• The Haskell Unfolder Episode 25: from Java to Haskell. ~ Edsko de Vries (@EdskoDeVries), Andres Löh (@kosmikus@functional.cafe). #Haskell #FunctionalProgramming