Moa Johansson

Available identifiers

Publication	Date of Publication	Type
Conjectures, tests and proofs: an overview of theory exploration	2024-11-29	Paper
Into the Infinite - Theory Exploration for Coinduction	2023-06-30	Paper
Proving type class laws for Haskell	2022-07-01	Paper
Conjectures, Tests and Proofs: An Overview of Theory Exploration	2021-09-06	Paper
Lemma discovery for induction. A survey	2020-01-22	Paper
Automated theory exploration for interactive theorem proving: an introduction to the Hipster system	2018-01-04	Paper
Quick specifications for the busy programmer	2017-10-23	Paper
Interpolation systems for ground proofs in automated deduction: a survey	2016-05-26	Paper
TIP: Tons of Inductive Problems	2015-11-20	Paper
On interpolation in automated theorem proving	2015-07-02	Paper
Hipster: Integrating Theory Exploration in a Proof Assistant	2014-08-07	Paper
Proof-Pattern Recognition and Lemma Discovery in ACL2	2014-01-17	Paper
Automating Inductive Proofs Using Theory Exploration	2013-06-14	Paper
Conjecture synthesis for inductive theories	2012-07-31	Paper
On Interpolation in Decision Procedures	2011-07-01	Paper
Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery	2010-11-22	Paper
Case-Analysis for Rippling and Inductive Proof	2010-09-14	Paper

This page was built for person: Moa Johansson