Las lecturas compartidas en Mastodon el 18 de mayo de 2024 son

• Lecturas compartidas el 17 de mayo de 2024. #ITP #Lean4 #IsabelleHOL #Math
• La semana en Calculemus (Demostraciones con Lean4 e Isabelle/HOL) (18-mayo-24). #ITP #Lean4 #IsabelleHOL #Math
• Proofs and conversations. ~ Talia Ringer (@TaliaRinger@mathstodon.xyz). #ITP #Coq #Math
• Functional induction. ~ Joachim Breitner (@nomeata@mastodon.online). #ITP #Lean4
• HepLean: Digitalising high energy physics. ~ Joseph Tooby-Smith. #ITP #Lean4 #Physics
• Foundational verification of smart contracts through verified compilation. ~ Vilhelm Sjöberg, Kinnari Dave, Daniel Britten, Maria A Schett, Xinyuan Sun, Qinshi Wang, Sean Noble Anderson, Steve Reeves, Zhong Shao. #ITP #Coq
• Initial algebras unchained (A novel initial algebra construction formalized in Agda). ~ Thorsten Wißmann and Stefan Milius. #ITP #Agda #Math
• Programming as a mediator of mathematical thinking (Examples from upper secondary students exploring the definite integral). ~ Timo Tossavainen, Claes Johansson, Alf Juhlin and Anna Wedestig. #Math #Programming #Python
• Math databases. ~ Jeremy Kun (@j2kun@mathstodon.xyz). #Math
• code4math: Consortium of digital ecosystems for mathematics. #Math