#tptp — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #tptp, aggregated by home.social.
-
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