Keyword:proof search

Papers
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
Automated Theorem Proving, Fast and Slow Michael Rawson and Giles Reger EasyChair Preprint no. 4433
Deep Proof Search in MELL Ozan Kahramanogullari In:LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Functional Pearl: the Proof Search Monad Jonathan Protzenko In:IWIL-2015. 11th International Workshop on the Implementation of Logics
Dialogues for proof search Jesse Alama In:ARQNL 2014. Automated Reasoning in Quantified Non-Classical Logics