Lecturas compartidas el 11 de junio de 2024. https://jaalonso.github.io/vestigium/posts/2024/06/12-lecturas_compartidas_el_11-jun-24 #ITP #Lean4 #IsabelleHOL #Math #ATP #TPTP #FunctionalProgramming #Haskell #Ocaml

The new TPTP format for interpretations. ~ Geoff Sutcliffe, Alexander Steen, Pascal Fontaine. https://arxiv.org/abs/2406.06108 #ATP #TPTP

Lecturas compartidas el 30 de mayo de 2024. https://jaalonso.github.io/vestigium/posts/2024/05/31-lecturas_compartidas_el_30-may-24 #ITP #Lean4 #IsabelleHOL #Coq #Theorema #HOL_Light #Math #ATP #Prover9 #Vampire #TPTP #FunctionalProgramming #Haskell #LogicProgramming #Prolog #AI #LLMs

Automated theorem proving for Prolog verification. ~ Fred Mesnard, Thierry Marianne and Etienne Payet. https://ww.easychair.org/publications/download/n9Jl #ATP #Vampire #TPTP #Prolog