Pages that link to "Item:Q2432769"

The following pages link to Automation for interactive proof: first prototype (Q2432769):

Displaying 15 items.

• Automated flaw detection in algebraic specifications (Q616853) (← links)
• Combined reasoning by automated cooperation (Q946572) (← links)
• Lightweight relevance filtering for machine-generated resolution problems (Q1006731) (← links)
• From LCF to Isabelle/HOL (Q2280211) (← links)
• Translating higher-order clauses to first-order clauses (Q2471742) (← links)
• From informal to formal proofs in Euclidean geometry (Q2631958) (← links)
• The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0 (Q2655326) (← links)
• Composable Discovery Engines for Interactive Theorem Proving (Q3088022) (← links)
• Automating Algebraic Specifications of Non-freely Generated Data Types (Q3540070) (← links)
• Improving Coq Propositional Reasoning Using a Lazy CNF Conversion Scheme (Q3655207) (← links)
• An Interactive Driver for Goal-directed Proof Strategies (Q5166499) (← links)
• Integrating Systems around the User: Combining Isabelle, Maple, and QEPCAD in the Proverʼs Palette (Q5170239) (← links)
• The Matita Interactive Theorem Prover (Q5200015) (← links)
• Bounded Relational Analysis of Free Data Types (Q5458813) (← links)
• Combining Isabelle and QEPCAD-B in the Prover’s Palette (Q5505513) (← links)