Certified Connection Tableaux Proofs for HOL Light and TPTP

doi 10.1145/2676724.2693176
Full Text
Abstract

Available in full text

Date
Authors
Publisher

ACM Press

Related search

Automating Most Parts of Hardware Proofs in HOL

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1992English

Integrating Implicit Induction Proofs Into Certified Proof Environments

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2018

2018English

Tableaux for Acceptance Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Proofs for Free

Journal of Functional Programming
Software
2012English

Bijections for Permutation Tableaux

European Journal of Combinatorics
CombinatoricsMathematicsGeometryDiscrete MathematicsComputational TheoryTheoretical Computer ScienceTopology
2009English

Refinement to Imperative/Hol

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Types for Proofs and Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Modular Tableaux Calculi for Separation Theories

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy