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

• Lecturas compartidas el 22 de julio de 2024. #AI
• Proseminar on computer-assisted mathematics, session 7: Introduction to Lean. ~ Judith Ludwig, Florent Schaffhauser. #ITP #Lean4 #Math
• Proseminar on computer-assisted mathematics, session 7: Introduction to Lean (Code). ~ Judith Ludwig, Florent Schaffhauser. #ITP #Lean4 #Math
• (Pro)Seminar on computer-assisted mathematics. ~ Judith Ludwig, Florent Schaffhauser. #CAS #Sage #ITP #LeanProver #Math
• Practical deductive verification of OCaml programs (Extended version). ~ Mário Pereira. #FunctionalProgramming #OCaml