Cited in
(18)- An interactive derivation viewer
- The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0
- The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0
- Progress in the Development of Automated Theorem Proving for Higher-Order Logic
- scientific article; zbMATH DE number 7178359 (Why is no real title available?)
- SATLIB
- I-SATCHMO
- Panoptes
- Prefuse
- SMTtoTPTP
- FOOL
- SNARK
- P.rex
- ProofTool
- FLOTTER
- Evonne
- Caml
- Panoptes: an exploration tool for formal proofs
This page was built for software: IDV
