The following pages link to SystemOnTPTP (Q22369):
Displayed 15 items.
- Semi-intelligible Isar proofs from machine-generated proofs (Q287340) (← links)
- ATP-based cross-verification of Mizar proofs: method, systems, and first experiments (Q841684) (← links)
- ATP and presentation service for Mizar formalizations (Q1945905) (← links)
- Extending Sledgehammer with SMT solvers (Q2351158) (← links)
- The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0 (Q2655326) (← links)
- An Interactive Derivation Viewer (Q2867942) (← links)
- The TPTP World – Infrastructure for Automated Reasoning (Q3066085) (← links)
- Automatic Proof and Disproof in Isabelle/HOL (Q3172879) (← links)
- Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar (Q3582702) (← links)
- SRASS - A Semantic Relevance Axiom Selection System (Q3608780) (← links)
- Using the TPTP Language for Writing Derivations and Finite Interpretations (Q3613401) (← links)
- (Q4539595) (← links)
- Extending Sledgehammer with SMT Solvers (Q5200019) (← links)
- (Q5219925) (← links)
- Sledgehammer: Judgement Day (Q5747754) (← links)