Lecturas compartidas el 20 de marzo de 2024
#Coq #Dafny #FormalVerification #HOL #ITP #LeanProver #Lisa #Mathlib
Buenos días
Las lecturas compartidas en Mastodon el 20 de marzo de 2024 son
Lecturas compartidas el 19 de marzo de 2024. #CategoryTheory #Coq #ITP #IsabelleHOL #LLMs #LeanProver #LeanProver #Math #Programming
A semantic search engine for Mathlib4. ~ Guoxiong Gao et als. #ITP #LeanProver #Mathlib
Taming differentiable logics with Coq formalisation. ~ Reynald Affeldt et als. #ITP #Coq
Mechanized HOL reasoning in set theory. ~ Simon Guilloud et als. #ITP #HOL #Lisa
Verifying programs involving self-application using Dafny. ~ Pim Remkes. #FormalVerification #Dafny
También están en GitHub.
Saludos, José A.
"La actividad es lo que hace feliz al hombre." ~ Johann Wolfgang von Goethe (1749-1832).
