Lecturas compartidas el 16 de marzo de 2024
#Coq #FormalVerification #ILP #ITP #IsabelleHOL #Lean4 #LogicProgramming #SMT #cvc5
Buenos días
Las lecturas compartidas en Mastodon el 16 de marzo de 2024 son
Lecturas compartidas el 15 de marzo de 2024. #ITP #IsabelleHOL #FormalVerification #SMT
#Calculemus: Demostraciones con Lean4 e Isabelle/HOL: "f[s] ⊆ u ↔ s ⊆ f⁻¹[u]". #ITP #LeanProver #Lean4 #IsabelleHOL #Matemáticas
La semana en Calculemus (Demostraciones con Lean4 e Isabelle/HOL) (16-mar-24). #ITP #LeanProver #Lean4 #IsabelleHOL #Matemáticas
Reconstructing cvc5 proofs in Isabelle/HOL (Part I: Communication between Isabelle and cvc5). ~ Hanna Lachnitt. #ITP #IsabelleHOL #SMT #cvc5
Formal verification of a realistic compiler. ~ Xavier Leroy (2009). #FormalVerification #ITP #Coq
Applications of inductive logic programming. ~ Ivan Bratko, Stephen Muggleton (1995). #ILP #LogicProgramming
También están en GitHub.
Saludos, José A.
"El hecho de que no te interese la política… no significa que la política no se interesará por ti" ~ Pericles (495 a.n.e - 429 a.n.e).
