Pages that link to "Item:Q438543"
From MaRDI portal
The following pages link to Conjecture synthesis for inductive theories (Q438543):
Displaying 24 items.
- Algorithmic introduction of quantified cuts (Q402115) (← links)
- Recycling proof patterns in Coq: case studies (Q475385) (← links)
- Automating Event-B invariant proofs by rippling and proof patching (Q667526) (← links)
- Theory exploration powered by deductive synthesis (Q832255) (← links)
- Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques (Q1640636) (← links)
- A theory of formal synthesis via inductive learning (Q1674868) (← links)
- Automated theory exploration for interactive theorem proving: an introduction to the Hipster system (Q1687709) (← links)
- A computational framework for conceptual blending (Q1748468) (← links)
- Induction and Skolemization in saturation theorem proving (Q2084957) (← links)
- Combining induction and saturation-based theorem proving (Q2303240) (← links)
- Inductive theorem proving based on tree grammars (Q2344621) (← links)
- Proof mining with dependent types (Q2364689) (← links)
- Equivalence checking of two functional programs using inductive theorem provers (Q2410575) (← links)
- On the generation of quantified lemmas (Q2417949) (← links)
- Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery (Q3058453) (← links)
- ASP, Amalgamation, and the Conceptual Blending Workflow (Q3449215) (← links)
- Quantomatic: A Proof Assistant for Diagrammatic Reasoning (Q3454104) (← links)
- Incorporating hypothetical knowledge into the process of inductive synthesis (Q3556990) (← links)
- Quick specifications for the busy programmer (Q5371995) (← links)
- Hipster: Integrating Theory Exploration in a Proof Assistant (Q5495917) (← links)
- Logic Based Program Synthesis and Transformation (Q5713944) (← links)
- Into the Infinite - Theory Exploration for Coinduction (Q6108814) (← links)
- Machine Learning for Inductive Theorem Proving (Q6108816) (← links)
- Conjectures, tests and proofs: an overview of theory exploration (Q6646290) (← links)
