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

• Lecturas compartidas el 21 de julio de 2024. #ITP #IsabelleHOL #Coq #Logic #Math #FunctionalProgramming #Haskell #LiquidHaskell
• Un robot que resuelve rompecabezas 200 veces más rápido que las personas más hábiles. ~ @Alvy. #AI