Keyword:theorem prover

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