Keyword:proof assistants

Publications
Hemiola: a DSL and Verification Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols Joonwon Choi, Adam Chlipala and Arvind EasyChair Preprint 8623
Automated Theorem Proving via Interacting with Proof Assistants by Dynamic Strategies Guangshuai Mo, Yan Xiong, Wenchao Huang and Lu Ma EasyChair Preprint 3334
My Life with an Automatic Theorem Prover Jasmin Christian Blanchette In:Proceedings of the 1st and 2nd Vampire Workshops
Initial Experiments on Deriving a Complete HOL Simplification Set Cezary Kaliszyk and Thomas Sternagel In:PxTP 2013. Third International Workshop on Proof Exchange for Theorem Proving
Robust, Semi-Intelligible Isabelle Proofs from ATP Proofs Steffen Juilf Smolka and Jasmin Christian Blanchette In:PxTP 2013. Third International Workshop on Proof Exchange for Theorem Proving
Redirecting Proofs by Contradiction Jasmin Christian Blanchette In:PxTP 2013. Third International Workshop on Proof Exchange for Theorem Proving