JProver: Integrating Connection-Based Theorem Proving into Interactive Proof Assistants
Authors:
- 8 June 2001
- book chapter
- Published by Springer Nature
- p. 421-426
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- A Uniform Procedure for Converting Matrix Proofs into Sequent-Style SystemsInformation and Computation, 2000
- A Tableau-Like Representation Framework for Efficient Proof ReconstructionLecture Notes in Computer Science, 2000
- Matrix-Based Inductive Theorem ProvingLecture Notes in Computer Science, 2000
- The Nuprl Open Logical EnvironmentLecture Notes in Computer Science, 2000
- Fast Tactic-Based Theorem Proving2000
- System description: An interface between CLAM and HOLLecture Notes in Computer Science, 1998
- Ωmega: Towards a mathematical assistant1997
- T-string unification: Unifying prefixes in non-classical proof methods1996
- Automated Theorem Proving1987
- Untersuchungen ber das logische Schlie en. IMathematische Zeitschrift, 1935