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

• Lecturas compartidas el 5 de julio de 2024. #ATP #ITP #IsabelleHOL #Lean4 #Logic #Math #FunctionalProgramming #Haskell #OCaml
• With fifth busy beaver, researchers approach computation’s limits (After decades of uncertainty, a motley team of programmers has proved precisely how complicated simple computer programs can get). ~ Ben Brubaker. #ITP #Coq #Math