Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Keyword
:
automatic theorem provers
Publications
Towards Strong Higher-Order Automation for Fast Interactive Verification
Jasmin Christian Blanchette
,
Pascal Fontaine
,
Stephan Schulz
and
Uwe Waldmann
In
:
ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements
My Life with an Automatic Theorem Prover
Jasmin Christian Blanchette
In
:
Proceedings of the 1st and 2nd Vampire Workshops
Stronger Automation for Flyspeck by Feature Weighting and Strategy Evolution
Cezary Kaliszyk
and
Josef Urban
In
:
PxTP 2013. Third International Workshop on Proof Exchange for Theorem Proving
A Shallow Embedding of Resolution and Superposition Proofs into the $\lambda\Pi$-Calculus Modulo
Guillaume Burel
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
LEO-II Version 1.5
Christoph Benzmüller
and
Nik Sultana
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-2024 easychair.org. All rights reserved.
