HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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
Copyright © 2012-2025 easychair.org. All rights reserved.