swMATH22200MaRDI QIDQ33995FDOQ33995
Author name not available (Why is that?)
Official website: https://www.logic.at/gapt/
Source code repository: https://github.com/gapt/gapt
Cited In (18)
- Herbrand constructivization for automated intuitionistic theorem proving
- Scalable fine-grained proofs for formula processing
- Certification of nonclausal connection tableaux proofs
- Understanding Resolution Proofs through Herbrand’s Theorem
- On the generation of quantified lemmas
- The \textsf{nanoCoP 2.0} connection provers for classical, intuitionistic and modal logics
- Complexity of translations from resolution to sequent calculus
- CERES
- Quati
- TIP
- ProofTool
- Scavenger
- Psyche
- Slakje
- WhaleProver
- Sequoia
- The problem of \(\Pi_{2}\)-cut-introduction
- Extraction of expansion trees
This page was built for software: GAPT
