IDV

MaRDI QIDQ33179swMATHFDO

Official website http://www.sciencedirect.com/science/article/pii/S1571066107001739

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