SystemOnTPTP
From MaRDI portal
Software:22369
No author found.
Related Items (15)
Semi-intelligible Isar proofs from machine-generated proofs ⋮ Automatic Proof and Disproof in Isabelle/HOL ⋮ ATP-based cross-verification of Mizar proofs: method, systems, and first experiments ⋮ Unnamed Item ⋮ The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0 ⋮ ATP and presentation service for Mizar formalizations ⋮ Unnamed Item ⋮ Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar ⋮ Sledgehammer: Judgement Day ⋮ SRASS - A Semantic Relevance Axiom Selection System ⋮ Extending Sledgehammer with SMT Solvers ⋮ The TPTP World – Infrastructure for Automated Reasoning ⋮ Using the TPTP Language for Writing Derivations and Finite Interpretations ⋮ An Interactive Derivation Viewer ⋮ Extending Sledgehammer with SMT solvers
This page was built for software: SystemOnTPTP
