GAPT

swMATH22200MaRDI QIDQ33995FDOQ33995

Author name not available (Why is that?)

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

Described by source

• System Description: GAPT 2.0

Cited In (9)

• 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
• The problem of \(\Pi_{2}\)-cut-introduction
• Extraction of expansion trees

This page was built for software: GAPT