Lecturas compartidas el 10 de abril de 2024

#ITP #Coq

Buenos días

Las lecturas compartidas en Mastodon el 10 de abril de 2024 son

• Lecturas compartidas el 9 de abril de 2024. #ITP #Lean4 #IsabelleHOL #Coq #Math #LLMs #Logic #Emacs #OrgMode

• Mechanised hypersafety proofs about structured data: extended version. ~ Vladimir Gladshtein, Qiyuan Zhao, Willow Ahrens, Saman Amarasinghe, Ilya Sergey. #ITP #Coq

También están en GitHub.

Saludos, José A.

---

"No digas lo que quieres hacer para que no se burlen de ti, si no completas tu resolución." ~ Tales de Mileto.