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

• Lecturas compartidas el 21 de mayo de 2024. #ITP #Lean4 #IsabelleHOL #Coq #SMT #Z3 #FunctionalProgramming #Haskell #Python #Math
• #Calculemus: Demostraciones con Lean4 e Isabelle/HOL de "Si una función es creciente e involutiva, entonces es la identidad". #ITP #Lean4 #IsabelleHOL #Math