GAPT

MaRDI QIDQ33995swMATHFDO

Official website https://www.logic.at/gapt/

Source code repository https://github.com/gapt/gapt

Described by source

• System description: GAPT 2.0

Cited in

(19)

• Sequoia
• SQEMA
• The problem of \(\Pi_{2}\)-cut-introduction
• The \textsf{nanoCoP 2.0} connection provers for classical, intuitionistic and modal logics
• CERES
• Certification of nonclausal connection tableaux proofs
• Herbrand constructivization for automated intuitionistic theorem proving
• Quati
• On the generation of quantified lemmas
• Understanding Resolution Proofs through Herbrand’s Theorem
• TIP
• ProofTool
• Scavenger
• Psyche
• WhaleProver
• Slakje
• Complexity of translations from resolution to sequent calculus
• Scalable fine-grained proofs for formula processing
• Extraction of expansion trees

This page was built for software: GAPT