The readings shared in Mastodon on August 14, 2024 are

• Readings shared August 13, 2024. #ITP #Coq #Agda #Math #Python
• #Calculemus: Proofs with Lean4 and Isabelle/HOL of "take n xs ++ drop n xs = xs". #ITP #Lean4 #IsabelleHOL #Math
• Introduction to proofs with Lean proof assistant. ~ Sina Hazratpour (@sina_htpr). #ITP #LeanProver
• Taller de Lean 4. ~ Enric Cosme, Mario Vago. #ITP #LeanProver #Lean4
• A topological approach for semi-supervised learning. ~ Adrián Inés, César Domínguez, Jónathan Heras, Gadea Mata & Julio Rubio. #AI #MachineLearning #Math