GAPT
From MaRDI portal
Software:33995
No author found.
Source code repository: https://github.com/gapt/gapt
Related Items (9)
The \textsf{nanoCoP 2.0} connection provers for classical, intuitionistic and modal logics ⋮ Certification of nonclausal connection tableaux proofs ⋮ Herbrand constructivization for automated intuitionistic theorem proving ⋮ The problem of \(\Pi_{2}\)-cut-introduction ⋮ On the generation of quantified lemmas ⋮ Extraction of expansion trees ⋮ Scalable fine-grained proofs for formula processing ⋮ Complexity of translations from resolution to sequent calculus ⋮ Understanding Resolution Proofs through Herbrand’s Theorem
This page was built for software: GAPT
