Lecturas compartidas el 18 de mayo de 2024
#ITP #Lean4 #IsabelleHOL #Coq #Agda #Physics #Math #Programming #Python
Buenos días
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
También están en GitHub.
Saludos, José A.
"Yo trato de privarme de ideas. Todos los días me quito alguna, pero siempre me quedan demasiadas." ~ Agustín García Calvo (1916-2012).
