Lecturas compartidas el 12 de marzo de 2024
Lecturas de demostración automática, Coq, verificación formal y emacs.
Buenos días
Las lecturas compartidas en Mastodon el 12 de marzo de 2024 son
Approximation fixpoint theory in Coq with an application to logic programming. ~ Bart Bogaerts, Luís Cruz-Filipe. #ITP #Coq
Formally verified software in the real world. ~ Gerwin Klein, June Andronick, Matthew Fernandez, Ihor Kuz, Toby Murray, Gernot Heiser (2018). #FormalVerification
What is Emacs? ~ Michał Sapka (@mms@emacs.ch). #Emacs
También están en GitHub.
Saludos, José A.
"El verdadero significado de las cosas se encuentra al tratar de decir las mismas cosas con otras palabras." ~ Charles Chaplin (1889-1977).
