Keyword:theorem prover

Publications
Unification as a Simple Theorem Prover Murat Sinan Aygün EasyChair Preprint 15904
Formalization of Transform Methods in Higher-Order Logic: a Survey Muhammad Ahmed and Adnan Rashid EasyChair Preprint 8009
Automatically Generalizing Theorems Using Typeclasses Alexander Best EasyChair Preprint 6216
A Multithreaded Vampire with Shared Persistent Grounding Michael Rawson and Giles Reger EasyChair Preprint 5855
Making Theory Reasoning Simpler Giles Reger, Johannes Schoisswohl and Andrei Voronkov EasyChair Preprint 5000
A FOOLish Encoding of the Next State Relations of Imperative Programs Evgenii Kotelnikov, Laura Kovács and Andrei Voronkov EasyChair Preprint 98
Do Portfolio Solvers Harm? Christoph Weidenbach In:ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements