Lecturas compartidas el 22 de marzo de 2024
#Coq #ITP #LeanProver #Lean4 #Math
Buenos días
Las lecturas compartidas en Mastodon el 22 de marzo de 2024 son
Lecturas compartidas el 21 de marzo de 2024. #AI #Agda #CompSci #Coq #Education #FunctionalProgramming #Haskell #ITP #LLMs #Logic #Math #Reasoning
Formalization of complexity analysis of the first-order optimization algorithms. ~ Chenyi Li et als. #ITP #LeanProver #Lean4 #Math
Small scale reflection for the working Lean user. ~ Vladimir Gladshtein, George Pîrlea, Ilya Sergey. #ITP #LeanProver #Lean4
A Coq mechanization of JavaScript regular expression semantics. ~ Noé De Santo, Aurèle Barrière, Clément Pit-Claudel. #ITP #Coq
También están en GitHub.
Saludos, José A.
"La mejor manera de animarte a ti mismo es tratar de animar a alguien más." ~ Mark Twain (1835-1910).
