Lecturas compartidas el 24 de abril de 2024
#ITP #Lean4 #IsabelleHOL #PVS #Math #AI #Education
Buenos días
Las lecturas compartidas en Mastodon el 24 de abril de 2024 son
Lecturas compartidas el 23 de abril de 2024. #ITP #Lean4 #IsabelleHOL #Coq #FunctionalProgramming #Math #CompSci
#Calculemus: Demostraciones de "s ∪ f⁻¹[v] ⊆ f⁻¹[f[s] ∪ v]" con Lean4 e Isabelle/HOL. #ITP #Lean4 #IsabelleHOL #Math
Stalnaker's epistemic logic in Isabelle/HOL. ~ Laura P. Gamboa Guzman, Kristin Y. Rozier. #ITP #IsabelleHOL
Embedding differential dynamic logic in PVS. ~ J. Tanner Slagel, Mariano Moscato, Lauren White, César A. Muñoz, Swee Balachandran, Aaron Dutle. #ITP #PVS
Formalizing factorization on euclidean domains and abstract euclidean algorithms. ~ Thaynara Arielly de Lima, Andréia Borges Avelar, André Luiz Galdino, Mauricio Ayala-Rincón. #ITP #PVS #Math
Computing education in the era of generative AI. ~ Paul Denny et als. #AI #Education
También están en GitHub.
Saludos, José A.
"Todos los que parecen estúpidos, lo son y, además también lo son la mitad de los que no lo parecen." ~ Francisco de Quevedo (1589-1654).