PxTP 2013. Third International Workshop on Proof Exchange for Theorem Proving12 articles•132 pages•Published: May 26, 2013 Papers
Keyphrasesanalytic tableaux2, automatic theorem provers5, Binary Decision Diagrams, Certificates2, classical, completion, Coq, direct proofs, Extended Resolution, extensional, feature weighting, Flyspeck2, higher-order abstract syntax, higher-order logic7, HOL Light4, HOL4, Hybrid, intensional, Interoperability, Intuitionistic, Isabelle/HOL2, Kepler Conjecture, large theories, linear programming, machine learning, OpenTheory, proof assistants3, proof checking2, proof theory2, proof transport, prover cooperation, Reasoning framework, resolution2, rewriting2, simple type theory5, Skolemization, Sledgehammer2, Strategy evolution, structured proofs, syntax translation, tableaux2 |