Conjectures, tests and proofs: an overview of theory exploration
From MaRDI portal
Publication:6646290
DOI10.4204/EPTCS.341.1MaRDI QIDQ6646290
Moa Johansson, Nicholas Smallbone
Publication date: 29 November 2024
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Conjecture synthesis for inductive theories
- On conjectures of Graffiti
- Automated theory exploration for interactive theorem proving: an introduction to the Hipster system
- Productive use of failure in inductive proof
- Induction with generalization in superposition reasoning
- First neural conjecturing datasets and experiments
- Proof-Pattern Recognition and Lemma Discovery in ACL2
- Zeno: An Automated Prover for Properties of Recursive Data Structures
- TIP: Tons of Inductive Problems
- TIP: Tools for Inductive Provers
- Automating Inductive Proofs Using Theory Exploration
- Quick specifications for the busy programmer
- Hipster: Integrating Theory Exploration in a Proof Assistant
- Into the Infinite - Theory Exploration for Coinduction
This page was built for publication: Conjectures, tests and proofs: an overview of theory exploration
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6646290)
