Las lecturas compartidas en Mastodon el 30 de junio de 2024 son

• Lecturas compartidas el 29 de junio de 2024. #ITP #Lean4 #IsabelleHOL #PVS #Coq #Logic #Math #Haskell #Python
• #Exercitium: Conjunto de divisores. #Haskell #Python #Matemáticas
• The accompanying code for the submission "Formalising half of a graduate textbook on number theory" to ITP 2024. ~ Manuel Eberl, Anthony Bordg, Lawrence Paulson, and Wenda Li. #ITP #IsabelleHOL #Math
• Nine chapters of analytic number theory in Isabelle/HOL. ~ Manuel Eberl. #ITP #IsabelleHOL #Math